1,函数依赖集的闭包
在关系模式R(U,F)中,U是R的属性全集,F是R上的一组函数依赖。设X,Y是U的子集,对于关系模式R的任一关系r,如果r满足F,则r满足F,则r满足X\rightarrowY,那么称F逻辑蕴涵X\rightarrowY,或称函数依赖X\rightarrowY可由F导出。
所有被F逻辑蕴涵的函数依赖的全集称为F的闭包,记作F+
对关系模式R(U, F),应用Armstrong公理系统系统计算F的过程。
步骤1:初始,F+=F。
步骤2:对F+ 中的每个函数依赖f,在f上应用自反性和增广性,将结果加入F+中;对F中的一对函数依赖f1和f2,如果可以使用传递律结合起来,则将结果加入F+中。
步骤3:重复步骤2,直到F 不再增大为止。
例题:设有关系模式R(A,B,C,G,H,I)及其函数依赖集F={A→B,A→C,CG→H,CG→I,B→H}。判断A→H、CG→HI和AG→I是否属于F+。
解:根据Armstrong公理系统:
(1)A→H。由于有A→B和B→H,根据传递性,可推出A→H。
(2)CG→HI。由于有CG→H和CG→I,根据合并规则,可推出CG→HH。
(3)AG→I。由于有A→C和CG→I,根据伪传递规则,可推出AG→1。因此,A→H、CG→HI和AG→1均属于F”。
2,属性集闭包
在关系模式R(U,F)中,U为R的属性集,F是R上的函数依赖集,X是U的一个子集(X\subseteqU)用函数依赖推理规则可从F推出的函数依赖X→A中所有A的集合,称为属性集X关于F的闭包
对关系模式R(U, F),求属性集X相对于函数依赖集F的闭包X+的算法如下:
步骤1:初始,X+=X。
步骤2:如果F中有某个函数依赖Y\rightarrowZ满足Y\subseteqX+,则X+=X+\cupZ。
步骤3:重复步骤2,直到X+不再增大为止。
3,候选键求解方法
对于给定的关系模式R(A,A,…,A。)和函数依赖集F,现将R的属性分为如下四类:
(1)L类:仅出现在函数依赖左部的属性。
(2)R类:仅出现在函数依赖右部的属性。
(3)N类:在函数依赖的左部和右部均不出现的属性。
(4)LR类:在函数依赖的左部和右部均出现的属性。