关系数据库理论1-第五章关系数据库理论.pptVIP

判定一个分解的无损连接性算法01输入：关系模式R(A1,A2,…,An)，R上的分解ρ={R1,R2,…,Rn}，R上的函数依赖集为F。02输出：分解ρ是否具有无损连接性。03二、具有无损连接性的关系模式分解构造一个k行n列的初始表，第i行对应于关系模式Ri，第j列对应于属性Aj。如果Aj∈Ri，则在第i行第j列上填符号ai；否则填符号bij。?1逐个检查F中的每一个函数依赖，并修改表中的元素。具体办法如下：从函数依赖集F中取一个函数依赖X→Y，在X的分量中寻找相同的行，然后将这些行中Y的分量改为相同的符号。如果其中有aj,则将bij改为aj;否则，改为bij(指用其中的一个bij替换另一个，通常是把下标改为较小的那个数)。2这样反复进行，如果发现某一行变成了a1,a2,…,an，即存在某一行全为a类符号，则分解ρ具有无损连接性；如果F中所有函数依赖都不能再修改表中的内容，且没有发现这样的行，则分解ρ不具有无损连接性。3方法：【例】已知关系模式R(U)，U={A,B,C,D,E}，R上的函数依赖集F={A→C,B→C,C→D,DE→C,CE→A}，分解ρ={R1({A,D}),R2({A,B}),R3({B,E}),R4({C,D,E}),R5({A,E}),判定ρ是否具有无损连接性。01解：(1)首先构造初始表（见表5-1）。02ρ={R1({A,D}),R2({A,B}),R3({B,E}),R4({C,D,E}),R5({A,E})表5-1ABCDER1a1b12b13a4b15R2a1a2b23b24b25R3b31a2b33b34a5R4b41b42a3a4a5R5a1b52b53b54a5证明若R?3NF,则R必属于2NF,R?2NF(用反证法)与题设R3NF矛盾证明：设R?3NF，R?2NF则属性A，候选码X，A,X?R由于是X的子集可断之，但这样在R中就有非主属性A，传递依赖候选码X5.2.4多值依赖实例：教员，课程，参考书(P178-P179)定义：若对R(U)的任一关系r，对于X的一个给定值x，存在Y的一组值与其对应，而Y的这组值又不可以任何方式与U－X－Y中的属性值z相关，那么就是说，Y多值依赖于X，记为：设R(U)是属性集U上的一个关系模式，X、Y是U的子集，01当Y的这组值个数为1时，X??Y就成了X?Y。X??Y。02多值依赖的示意图Uf(xi)=yi1yi2yim（m1）Z=U-X-YzXxiYyi1yi2yimX??Y多值依赖的另一个等价的形式化的定义在R(U)的任一关系r中，如果存在元组t,s，使得t[X]＝s[X]，那么就必然存在元组w,v?r，（w,v可以与s,t相同），使得w[X]=v[X]=t[X]，而w[Y]=t[Y]，w[Z]=s[Z]，v[Y]=s[Y]，v[Z]=t[Z]（即交换s,t元组的Y值所的两个新元组必在r中），这里X、Y是U的子集，Z=U－X－Y。称Y多值依赖于X，即为X??Y。若X??Y，而Z=U－X－Y=?（为空），则称X??Y为平凡的多值依赖。多值依赖具有对称性，即：若X??Y，则X??Z，其中Z=U－X－Y。值依赖的传递性，若X??Y，Y??Z，则X??Z-Y。函数依赖可以看作是多值依赖的特殊情况，即若X?Y，则X??Y。X??Y，X??Z，则X??Y∪Z。若X??Y，X??Z，则X??Y∩Z。若X??Y，X??Z，则X??Y-Z，X??Y–Z。多值依赖的性质多值依赖与函数依赖的区别多值依赖的有效性，与属性集的范围有关。若X??Y在U上成立，则在W(X?Y?W?U)上一定成立。反之则不然。即：X??Y在W(W?U)上成立，在U上不一定成立。在大范围上成立，在小范围上不一定成立。若函数依赖X?Y在R(U)上成立，则对于任何Y’?Y均有X?Y’成立。而多值依赖X??Y若在R(U)上成立，却不能断言对于任何Y’?Y有X??Y’成立。5.2.54NF定义：关系模式RU,F?1NF，如果对于R的每个非平凡多值依赖X??Y（Y!?X），X都含有码，则称RU,F?4NF。4N