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+。
2 对关系模式R(U,F),应用Armstrong公理系统系统计算F+的过程
步骤1 初始 F+=F。
步骤2 对F+中的每个函数依赖f,在f上应用自反性和增光性,将结果加入F+中;对F+中的一对函数依赖f1和f2,如果f1和f2可以使用传递律结合起来,则将结果加入F+中。
步骤3 重复步骤2,直到F+不在增大为止。
例:已知关系模式R(A,B,C,D,E,G)及其函数依赖集F:
F={AB--->C,C--->A,BC--->D,ACD--->B,D--->EG,BE--->C,CG--->BD,CE--->AG}
判断BD--->AC是否属于F+。
解:D--->EG 推出 D--->E,BD--->BE; 合并规则 增广律 (1)
BE--->C,C--->A 推出 BE--->A,BE--->AC;传递律 合并规则 (2)
由(1)(2)推出BD--->AC(传递律) 因此 BD--->AC被F所蕴含,即BD--->AC属于F+。
3 属性集闭包
定义 设有关系模式 R(U,F)中 U是R的属性全集 F是R上的一组函数依赖,X是U的一个子集(XU)。
用函数依赖推理规则可从F推出的函数依赖X--->A中所有A的集合,称为属性集X关于F的闭包,记为X+(或X+f)。
即 X+={X| X--->A能够由F根据Armstrong公理导出}
4 对关系模式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。
5 候选键的求解方法
对于给定的关系模式R(A,A,…,A,)和函数依赖集F,现将尽的属性分为如下四类:
(1)L类:仅出现在函数依赖左部的属性。
(2)R类:仅出现在函数依赖右部的属性。
(3)N类:在函数依赖的左部和右部均不出现的属性
(4)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 候选键