第九章第二节记录

9.2.4 闭包及候选键求解方法

1.函数依赖集的闭包

2.属性集闭包

3.候选键的求解方法

1.函数依赖集的闭包
定义9.2在关系模式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(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→HI。

(3)AG→I。有A→C和CG→I，根据传递规则，可推出AG→I。

因此，A→H，CG→HI,和AG→I均属于F+。
例9.4有关系模式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；①
又由 BE→C，C→A，可推出:BE→A，BE→ACG；②
由①、②，可推出BD→AC，因此BD→AC被F所蕴涵，即BD→AC属于F+。

对关系模式R(U，F)，应用Armmstrong公理系统系统计算F+的过程。

步骤1:初始，F+ =F。
步骤2:对F+中的每个函数依赖f，在f上应用自反性和增广性，将结果加人F+中;对F+中的一对函数依赖f1和f2，如果f1和f2可以使用传递律结合起来，则将结果加入F+中。
步骤3:重复步骤2，直到F+不再增大为止。
2.属性集闭包
一般情况下，由函数依赖集F计算其闭包F+是相当麻烦的，因为即使F很小，F也可能很大。计算F的目的是为了判断函数依赖是否为F所蕴涵，然而要导出F的全部函数依赖是很费时的事情，而且由于F+中包含大量的冗余信息，因此计算F”的全部函数依赖是不必要的。那么是否有更简单的方法来判断X→Y是否为F所蕴涵呢?
在开始确定一个关系的函数依赖集合F时，首先是确定那些语义上非常明显的函数依赖，然后，应用Armstrong公理从这些函数依赖推导出附加的正确的函数依赖。确定这些附加的函数依赖的一种系统化方法是先确定每一组会在函数依赖左边出现的属性组X，再确定所有依赖于X的属性组X*，X*称为X在F下的闭包。
判定函数依赖X→Y是否能由F导出的问题，可转化为求X并判定Y是否是子集的问题。即求函数依赖集闭包问题可转化为求属性集问题.
问题。即求函数依赖集闭包问题可转化为求属性集问题。
定义9.3设有关系模式R(U，F)，U为R的属性性集，F是R上的函数依赖集，X是 U的一个子集(XU)。用函数依赖推理规则可从F推出的函数依赖X→A中所有A的集合，称为属性集X关于F的闭包，记为X+(或X+f)。即:
X+={A I X→A能够由F根据Armstrong公理导出}
对关系模式R(U，F)，求属性集X相对于函数依束集F的闭包X+的算法如下:

步骤1:初始，X+=X。
步骤2:如果F中有某个函数依赖Y→Z满足YX+ 。则X+= X+ U Z。 
步骤3:重复步骤2，直到X+不再增大为止。
例9.5 设有关系模式R(U，F)，其中属性集 U={X，Y，Z，W}，函数依赖集F={X→Y,Y→Z,W→Y},计算X+、（XW）+。