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 )步。
原文地址:https://www.jb51.cc/javaschema/287837.html
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。