9.2总结

F 的闭包:

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

设 F 为属性集 U 上的一组函数依赖， X Í U ， XF + ={ A|X → A 能由 F 根据 Armstrong 公理导出 } ， XF + 称为属性集 X 关于函数依赖集 F 的闭包.

函数依赖的逻辑蕴涵：

定义：设有关系模式R(U)及其函数依赖集F，如果对于R的任一个满足F的关系r函数依赖X→Y都成立，则称F逻辑蕴涵X→Y，或称X→Y可以由F推出

例：关系模式 R=(A,B,C),函数依赖集F={A→B,B→C}, F逻辑蕴涵A→C

候选键的求解方法：
 

对于给定的关系模式RE(,  , … ,  )和函数依赖集F，可将其属性分为以下四类。

（1）L类：仅出现在F中的函数依赖左部的属性；
（2）R类：仅出现在F的函数依赖右部的属性；
（3）N类：在F的函数依赖左右两边均未出现的属性；
（4）LR类：在F的函数依赖左右两边均出现的属性。

对于给定的关系模式R及其函数依赖集F，有一下结论。

（1）若X（X∈RE）是L类属性，则X必为RE的任意候选键的成员；
（2）若X（X∈RE）是L类属性，且包含了RE的全部属性，则X必为RE的唯一候选键；
（3）若X（X∈RE）是R类属性，则X不在任何候选键中；
（4）若X（Y∈RE）是N类属性，则X包含在R的任一候选键中；
（5）若X（X∈RE）是RE的N类和L类属性组成的属性集，且X包含了R的全部属性，则X
是RE的唯一候选键。