F 的闭包:
在关系模式 R<U ， F> 中为 F 所逻辑蕴含的函数依赖的全体叫作 F 的闭包，记为 F + 。
设 F 为属性集 U 上的一组函数依赖， X Í U ， XF + ={ A|X → A 能由 F 根据 Armstrong 公理导出 } ， XF + 称为属性集 X 关于函数依赖集 F 的闭包.
算法 求属性集 X （ X Í U ）关于 U 上的函数依赖集 F 的闭包 XF +
输入： X ， F 输出： XF +
步骤：
（ 1 ）令 X （ 0 ） =X ， i =0
（ 2 ）求 B ，这里 B = { A |( $ V)( $ W )(V → W Î F ∧ V Í X （ i ）∧ A Î W) } ；
（ 3 ） X （ i+1 ） =B ∪ X （ i ）
（ 4 ）判断 X （ i+1 ） = X （ i ）吗 ?
（ 5 ）若相等或 X （ i ） =U,则 X （ i ）就是 XF +,算法终止。
（ 6 ）若否，则 i =i +l ，返回第（ 2 ）步。
