函数依赖闭包及求闭包的算法

F 的闭包:

在关系模式 R<U ， F> 中为 F 所逻辑蕴含的函数依赖的全体叫作 F 的闭包，记为 F + 。

属性集 X 关于函数依赖集 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 ）步。

（编辑：安卓应用网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!