【无标题】

闭包及候选键求解方法
函数依赖集的闭包
定义 在关系模式 R（U,F）中 U是R的属性全集 ，F是R上的一组函数依赖。设X Y是U的子集，对于关系模式R的任一关系r,如果r满足F，则r满足XY，那么称F逻辑蕴含XY,或称函数依赖XY可由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+不在增大为止。

属性集闭包
定义 设有关系模式 R（U,F）中 U是R的属性全集 F是R上的一组函数依赖，X是U的一个子集（XU）。用函数依赖推理规则可从F推出的函数依赖XA中所有A的集合，称为属性集X关于F的闭包，记为X+（或X+f）。
即 X+={X| XA能够由F根据Armstrong公理导出}
对关系模式R（U,F），求属性集X相对于函数依赖集F的闭包X+的算法如下 
步骤1 初始 X+=X。
步骤2 如果F中有某个函数依赖Y--->Z满足YX+。则X+=X+Z。
步骤3 重复步骤2，直到X+不在增大为止。
例  设有关系模式R（U,F），其中属性集U={X,Y,Z,W},函数依赖集F=X→Y,Y--->Z，W一Y}，计算X+ (XW)+。
解： (1)计算X。
步骤1：初始：X+=X。
步骤2：
(1)对X+中的X，因为有X→Y，所以X+=x+UY=XY。
(2)对X+中的Y，因为有Y→Z，所以X+=X+UZ=XYZ.
在函数依赖集F中，Z不出现在任何函数依赖的左部，因此X+将不会再扩大，所以最终X+=XYZ。(2)计算(XW)+。
步骤1：初始：(XW)+=XW。
步骤2：
(1)对(XW)+中的X，因为有X→Y，所以(XW) +=XW+UY=XWY。
(2)对(XW)+中的Y，因为有Y→Z，所以(XW) +=XW+ UZ=XWYZ。
(3)对(XW)+中的W，有W→Y，但Y已在(XW)+中，因此(XW)+保持不变
（4）对(XW)+中的Z，由于Z不出现在任何函数依赖的左部，因此(XW)+保持不变。
最终(XW)+=XWYZ

候选键的求解方法
　　对于给定的关系模式R（A1，A2，…An）和函数依赖集F，可将其属性分为4类：
　　　　L类  仅出现在函数依赖左部的属性。
　　　　R 类  仅出现在函数依赖右部的属性。
　　　　N 类  在函数依赖左右两边均未出现的属性。
　　　　LR类  在函数依赖左右两边均出现的属性。
对R中的属性X，可有以下结论：

(1)若X是L类属性，则X一定包含在关系模式R的任何一个候选键中；若X+包含了R的全部属性，则X为关系模式R的唯一候选键。
 (2)若X是R类属性，则X不包含在关系模式R的任何一个候选键中。
 (3)若X是N类属性，则X一定包含在关系模式R的任何一个候选键中。

（4）若X是LR类属性，则x可能包含在关系模式R的某个候选键中。

备注：

1 L,N （N一定在候选键中）
2 （L,N)+=U   唯一候选键
3  (L,UL,R)+=U
4 候选键
极小函数依赖集
对关系模式R（U，F），如果函数依赖集F满足下列条件，则称F为R的一个极小函数依赖集（或称为最小依赖集、最小覆盖），记作Fmin。

F中每个函数依赖的右部仅含有一个属性。
F中每个函数依赖的左部不存在多余的属性，即不存在这样的函数依赖X→A，X有真子集Z使得F与（F-{X→A}）∪{Z→A}与F等价。
F中不存在多余的函数依赖，即不存在这样的函数依赖X→A， 使得F与(F- {X→A}）等价。

备注：
左边为单属性不存在多余的属性
传递函数依赖有多余函数依赖
计算极小函数依赖集的算法：
①使F中每个函数依赖的右部都只有一个属性。逐一检查F中各函数依赖XY，若Y=A1A2...An（k>=2）,则用{XAj|j=1,2,..k}取代XY。
②去掉各函数依赖左部多余的属性：逐一取出F中各函数依赖XA，设X=B1B2...Bn，逐一检查Bi（i=1，2，...，m），如果A（X-Bi）F+，则以X-Bi取代X。
③去掉多余的依赖.逐一检查F中各函数依赖XA，令G=F-{XA}，若AXG+，则从F中去掉XA函数依赖。

范式
第一范式（不包含重复组的关系）

定义 不包含非原子项属性的关系是第一范式（1NF）的关系
备注：
1NF要求关系中不能有复合属性，多值属性及其组合。
第二范式

定义 如果R（U，F）1NF，并且R中的每个非主属性都完全函数依赖于主键，则R（U，F）2NF。
备注：
部分函数依赖满足第一范式，不满足第二范式.
第三范式

定义 如果R（U，F）2NF，并且所有的非主属性都不传