搜索
关系模式的分解特性一.模式分解中存在的问题设有关系模式R(U)和R1(U1),R2(U2),…,Rk(Uk)，其中U={A1,A2,…,An}，Ui包含于U(i=1,2,…,k)且U＝U1∪U2∪…Uk。令ρ={R1(U1),R2(U2),…,Rk(Uk)}，则称?为R(U)的一个分解，也称为数据库模式，有时也称为模式集。用ρ代替R(U)的过程称为关系模式的分解。数据库模式ρ的一个具体取值记作σ=(r1,r2,…,rk)，称为数据库实例σ。其中ri是ρ中关系模式Ri(Ui)的一个具体关系。实际上，关系模式的分解，不仅仅是属性集合的分解，它是对关系模式上的函数依赖集，以及关系模式对应的具体关系进行分解的具体表现。例4.21设关系模式R(A,B,C)，F＝{A-B，B-C}，r是R(U)满足F的一个具体关系，如下表所示。下面，我们将R作出几个不同的分解，看看会出现什么样的问题⑴将R分解为ρ1={R1(A),R2(B),R3(C)}，则相应关系r被分解为三个关系，虽然从范式的角度看，关系r1，r2，r3都是4NF，但这样的分解显然是不可取的。因为它不仅不能保持F，即从分解后的?1无法得出A?B，或B?C这种函数依赖，也不能使r得到“恢复”，这里所说的“恢复”意指无法通过对关系r1，r2，r3的连接运算操作得到与r一致的元组，甚至无法回答最简单的查询要求。⑵将R分解为ρ2={R4(A,B),R5(A,C)}，对应关系r分解为r4，r5。这样分解后问题虽然少了一些，但由于不保持B-C，仍然存在插入和删除异常等问题。由表4.14可知，r通过得到恢复，即r＝。这样的分解称为无损连接分解。⑶将R分解为ρ3={R5(A,C)，R6(B,C)}，对应关系r分解为r5，r6。则函数依赖A-B不被保持，而且r?。此外，仍然存在插入和删除异常等问题。⑷将R分解为ρ4={R4(A,B)，R6(B,C)}，对应关系r分解为r4，r6。这是最好的一种分解，既保持了函数依赖F={A-B,B-C}(这样的分解称为保持函数依赖的分解)，又可得到r＝。且不存在插入和删除异常等问题。从上述实例分析中我们可以看到，一个关系模式的分解可以有几种不同的评判标准：⑴分解具有无损连接性；{仍然存在插入和删除异常问题}⑵分解保持函数依赖；{也存在插入和删除异常等问题}；⑶分解既保持函数依赖，又具有无损连接性。{最好的}。关系r的三种分解二.无损连接定义4.18设R(U)是一关系模式，F是R(U)满足的一个函数依赖集，将R(U)分解成关系模式ρ={R1(U1),R2(U2),…,Rk(Uk)}，U＝U1∪U2∪…∪Uk。如果对R(U)中满足F的每一个具体关系r都有则称这个分解相对于F具有无损连接性(LosslessJoinDecomposition)，简称ρ为无损连接分解，即r为它自己在Ui上投影的自然连接。r的投影连接表达式用mρ(r)表示，即称为关系r的投影连接变换式。在一般情况下，r和mρ(r)不一定相等。对于关系模式R(U)关于F的无损连接条件是：任何满足F的关系r，有r＝mρ(r)。三、无损连接的测试由于分解不一定具有无损连接性，因此，如何测试一个模式的分解具有无损连接性是一个很重要的问题。例4.22设关系模式R(A,B,C)的一个关系为r，将R(A,B,C)分解成两个模式R1(A,B)和R2(B,C)后，关系r相应分解为关系r1，r2，它们是r在相应的模式属性上投影得到。关系r及其投影现在利用r1和r2的自然连接运算计算mρ(r)，其结果如下表所示，并与上表中关系r比较可以发现r包含于mρ(r)，所以R(A,B,C)分解成R1(A,B)，R2(B,C)不是具有无损连接性的分解。关系r1与关系r2的自然连接如果一个关系模式的分解不是无损连接分解，那么分解后的关系通过自然连接运算无法恢复到分解前的关系。证关系模式分解具有无损连接性求在对模式进行分解时,必须利用该模式属性间函数依赖的性质，并通过适当的方法判别其分解是否为无损连接分解，以保证最终使用的分解的无损连接性。算法4.2无损连接的测试。输入：关系模式R(U)，其中U={A1,A2,…,An}，R(U)上成立的函数依赖集F和R(U)的一个分解ρ={R1(U1),R2(U2),…,Rk(Uk)}，其中U＝U1∪U2∪…∪Uk。输出：ρ相对于F具有或不具有无损连接性的判断。计算方法和步骤：⑴构造一张k行n列的表格，每列对应一个属性Aj(j=1,2,…,n)，每行对应一个模式Ri(Ui)的属性集合(i=1,2,…,k)。如果Aj在Ui中，那么在表格的第i行第j列处境上符号aj，否则填上符号bij，⑵反复检查F的每一个函数依赖，并修改表格中的元素，直到表格不能修改为止。其方法如下：取F中的函数依赖X-Y，如果表格中有两行在X分量上相等，在Y分量上不相等，那么修改Y分量上的值，使这两行在Y分量上也相等，具体修改分两种情况：①如果Y的分量中有一个是aj，那么另一个也修改成aj，②如果Y的分量中没有aj，那么用下标i较小的那个bij替换另一个符号。⑶若修改结束后的表格中有一行是全a，即al,a2,…,an，那么?相对于F是无损连接分解，否则，ρ相对于F不是无损连接分解。定理4.13如果R(U)的分解为ρ＝{Rl(U1)，R2(U2)}，其中U=U1∪U2，F为R(U)所满足的函数依赖集合，则分解ρ是无损连接的充分必要条件为(U1∩U2)-(U1-U2)或者(U1∩U2)-(U2-U1)成立。此定理表明，当模式R分解成两个关系模式Rl(U1)和R2(U2)时，如果其公共属性能函数决定U1或U2中的其它属性，这样的分解就是无损连接的。四、保持函数依赖的分解⑴对关系模式分解的无损连接性要求是必要的，因为它保证了关系模式的任何一个具体关系能由它自己的那些投影进行自然连接得到恢复。⑵例4.21说明，仅要求关系模式分解具有无损连接性是不够的。如果关系模式在分解后不能保持函数依赖，那么在数据库中仍然会出现插入和删除等异常现象。因此，保持关系模式分解前后的函数依赖集不变，即从关系模式R(U)到ρ={R1(U1),R2(U2),…,Rk(Uk)}的分解，应使函数依赖集F被所有的所蕴涵，这就是保持函数依赖问题。设F是属性集U上的函数依赖集，Z是U上的一个子集，F在Z上的一个投影用?Z(F)表示，定义为：πZ(F)＝{X-Y|(X-Y)∈F+且XY包含于Z}定义4.19设关系模式R(U)的一个分解ρ={R1(U1),R2(U2),…,Rk(Uk)}，F是R(U)满足的函数依赖集，如果，则称分解ρ保持函数集F，简称ρ保持函数依赖。由定义可知，检验一个分解是否保持函数依赖，就是检验函数依赖集G=是否覆盖函数依赖集F，即对于任意一个函数依赖X-Y∈F是否由G根据Armstong公理导出，而由定理4.3可知，即是要检验是否有。由以上分析可得检验一个分解是否保持函数依赖的算法。算法4.3函数依赖测试输入：R(U,F)和ρ={R1(U1),R2(U2),…,Rk(Uk)}输出：ρ是否保持F的判断结果。算法步骤：⑴令G=，F=F-G，Result=True⑵对于F中的第一个函数依赖X-Y，计算并令F=F-{X-Y}；⑶若，则令Result=False，转⑷否则，若F≠空集，转⑵，否则，转⑷；⑷若Result=True则?保持函数依赖F，否则?不保持函数依赖F。关于关系模式的分解有以下几个重要事实：⑴若要求分解保持函数依赖，那么模式分解总可以达到3NF，但不一定能达到BCNF。⑵若要求分解既保持函数依赖，又具有无损连接性，可以达到3NF，但不一定能达到BCNF。⑶若要求分解具有无损连接性，那一定可达到4NF。