函数依赖闭包及求闭包的算法
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 )步。 (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |