@H_502_2@F 的闭包:
在关系模式 R<U ， F> 中为 F 所逻辑蕴含的函数依赖的全体叫作 F 的闭包，记为 F + 。
属性集 @H_502_2@X 关于函数依赖集 @H_502_2@F 的闭包:
设 @H_502_2@F 为属性集 @H_502_2@U 上的一组函数依赖， @H_502_2@X Í @H_502_2@U ， XF + ={ A|X → @H_502_2@A 能由 @H_502_2@F 根据 @H_502_2@Armstrong 公理导出 @H_502_2@} ， @H_502_2@XF @H_502_2@+ 称为属性集 @H_502_2@X 关于函数依赖集 @H_502_2@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 ）步。
原文链接：https://www.f2er.com/javaschema/287837.html