函数依赖及范式

一.闭包及候选键求解方法
1.函数依赖集的闭包
定义：在关系模式R（U,F）中，U是R的属性全集，F是R上的一组函数依赖。设X，Y是U的子集，对于关系模式R中的任意关系r，如果r满足F，则r满足X->Y，那么称F逻辑蕴涵X->Y，或称函数依赖X->Y可由F导出。

所有被F逻辑蕴涵的函数依赖的全集称为F的闭包，记作F+

对关系模式R（U,F），应用Armstrong公理系统计算F+的过程：

步骤1：初始，F+=F

步骤2：对F+中的每个函数依赖f，在f上应用自反性和增广性，将结果加入F+中；对F+中的一对函数依赖f1和f2，如果f1和f2可以使用传递律结合起来，则将结果加入F+中。

步骤3：重复步骤2，直到F+不再增大为止

（详细例题见书P218）

2.属性集闭包

定义：设有关系模式R（U,F）,U是R的属性全集，F是R上的函数依赖集，X是U的一个子集。用函数依赖推理规则可从F推出的函数依赖X->A中所有A的集合，称为属性集X关于F的闭包，记为X+。

即：X+={A| X->A能够由F根据Armstrong公理导出}

对关系模式R（U,F），求属性集X相对于函数依赖集F的闭包X+的算法如下：

步骤1：初始,X+=X

步骤2：如果F中有某个函数依赖Y->Z满足Y包含于X+。则X+=X+∪Z=XZ

步骤3：重复步骤2，直到X+不再增大为止

（详细例题见书P219）

3.候选键的求解方法
对于给定的关系模式R(A1,A2,…,An)和函数依赖集F，现将R的属性分为如下四类：

（1）L类：仅出现在函数依赖左部的属性

（2）R类：仅出现在函数依赖右部的属性

（3）N类：在函数依赖的左部和右部均不出现的属性

（4）LR类：在函数依赖的左部和右部均出现的属性

对R中的属性X，可有以下结论:

（1）若X是L类属性，则X一定包含在关系模式R的任何一个候选键中；若X+包含了R的全部属性，则X为