关系模式设计理论.pptVIP

有效性与完备性的证明 证明： 1. 有效性 2. 完备性 只需证明逆否命题: 若函数依赖X→Y不能由F从Armstrong公理导出，那么它必然不为F所蕴含 分三步证明： 第六十二页，共102页 5. 函数依赖集等价 定义6.2.9 如果G+=F+，就说函数依赖集F覆盖G（F是G的覆盖，或G是F的覆盖），或F与G等价。 第六十三页，共102页 函数依赖集等价的充要条件 引理6.2.3 F+ = G+ 的充分必要条件是 F ? G+ ，和G ? F+ 证: 必要性显然，只证充分性。 （1）若F?G+ ，则XF+ ? XG++ 。 （2）任取X→Y?F+ 则有 Y ? XF+ ? XG++ 。 所以X→Y ? (G+）+= G+。即F+ ? G+。 （3）同理可证G+ ? F+ ，所以F+ = G+。 第六十四页，共102页 函数依赖集等价 要判定F ? G+，只须逐一对F中的函数依赖X→Y，考察 Y 是否属于XG++ 就行了。因此引理5.3 给出了判断两个函数依赖集等价的可行算法。 第六十五页，共102页 6. 最小依赖集 定义3.10 如果函数依赖集F满足下列条件，则称F为一个极小函数依赖集。亦称为最小依赖集或最小覆盖。 (1) F中任一函数依赖的右部