在关系模式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⁺。
属性闭包集:
求属性集x相对于函数依赖集F的闭包X⁺的算法如下:
步骤1:初始,X⁺=X
步骤2:如果F中有某个函数依赖Y–>Z,满足Y⊆X⁺.则X⁺=X⁺∪Z
步骤3:重复步骤2,直到X⁺不再增大为止。
求闭包属性的另一个用途是:如果属性集x的闭包x⁺包含了R中的全部属性,则x为R的一个候选键
3.候选键的求解方法
分为四类:(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类
(2)如果(L,N)⁺=U,(L,N)就是候选键
(3)如果不等于U,就找LR类
(4)如果(L,N,LR)⁺=U,(L,N,LR)就是候选键。