第4讲（总第14讲）函数依赖及其公理/定理 · 1407-属性闭包的计算算法与覆盖及其证明（7分53秒）