第4讲函数依赖等价与覆盖.pptVIP

第4讲函数依赖的等价和覆盖 3.3 函数依赖的等价和覆盖 包括函数依赖集的等价和覆盖、无冗余覆盖、化简覆盖、规范覆盖、最小覆盖等。 3.3.1 函数依赖的等价和覆盖; 定理4 已知模式R上的函数依赖集 F和G。当且仅当 F|=G 且 G|=F ，则 F ? G。 ; 例: 证明F={A→BC, A→D, CD→E}和 G={A→BCE, A→ABD, CD→E}等价;3.3.2 无冗余覆盖 定义(无冗余覆盖)：如果函数依赖集F不存在真子集F?使F?? F成立，则F是无冗余的。 如果F是G的一个覆盖且F是无冗余的，则F是G的一个无冗余覆盖。 ;算法3.3.1 计算函数依赖集F的无冗余覆盖 NONREDUN(F) begin G: =F ; for each FD X→Y in F do if MEMBER(G－{X→Y}, X→Y) then G: =G－{X→Y}; return(G) end.; 无冗余覆盖的例子;例: 求F={A→B, B→A, B→C, AB→C }的无冗余覆盖。;;3.3.3 规范覆盖(canonical cover) 定义 设F是模式R上的一个FDs集，X→Y?F。若模式R中的属性A满足下列条件，则称属性A在X→Y中是外部属性。 1. X=AZ, X?Z，且(F－{X→Y})∪{Z→Y} ? F 或者; 2. Y=AW, Y?W，且(F－{X→Y)}∪{X→W} ? F。; 定义(化简覆盖) 若FD X→Y的左部或右部都不包含外部属性，称FD X→Y是化简的。 如果FDs集F中的所有FD都是化简的，称FDs集F是化简的。如果F是G的一个覆盖且F是化简的，称F是G的一个化简覆盖。 化简覆盖的算法类似于无冗余覆盖，也是用成员测试算法，不同之处在分别对F的每个函数依赖的左边和右边的属性分别进行检测，看是否存在多余的属性，去掉多余的属性。 ; 定义(规范覆盖) 如果FDs集F是G的一个覆盖，F中的每个FD都具有X→A形式而且F是左化简的和无冗余的，称F是G的一个规范覆盖。 ; 3.3.4 最小覆盖 定义(最小覆盖) 如果FDs集F和任一等价的FDs集G相比，具有最少的函数依赖数，则称F为G的最小覆盖。;3.4 多值依赖 3.4.1多值依赖(Multivalued Dependency，MVD);下下; 定义(MVD) 设关系模式R，X、Y ? R 且 Z=R-(XY)。若对r(R)中任意元组t1、t2有t1[X]=t2[X]，则在r中存在元组t3且满足： t3[X]=t1[X]，t3[Y]=t1[Y]，且t3[Z]=t2[Z] 关系r(R)满足多值依赖 (MVD) X→→Y，称X多值决定Y或Y多值依赖于X。 关于多值依赖，还有下面等价的定义：;MVD的示意图： 表示已存在的元组： 可推出还应该存在的元组： x y1 z1 ＝＝≥ x y2 z1 x y2 z2 x y1 z2 引理： 设关系模式R和R上的关系r，X、Y?R 且Z=R-(XY)。若r满足多值依赖X→→Y，则r满足多值依赖X→→Z。 该引理称为多值依赖的对称性·或互补性。;3.4.2 多值依赖的性质 定理12 设关系r(R)，X、Y和Z是R的子集且 Z=R-(XY)，当且仅当关系r无损地分解成关系模式R1 =XY和R2 =XZ，则 r满足X→→Y。;测试关系r是否满足MVD ： (1). 根据多值依赖的性质； (2). r是否满足： |πY (? X=x(r))| = |πY (? XZ=xz(r))| 其中， R=XYZ, Z=R -(XY);3.4.3 多值依赖的推理公理 多值依赖的推理公理M1~M9 M1：自反性 若Y ? X 则X→→Y。 M2：增广性 若X→→Y，W ? Z，则XZ→→YW。 M3：相加性 若X→→Y、X→→Z，则X→→YZ。 M4：投影性 若X→→Y、X→→Z，则 X→→Y－Z 、 X→→Y∩Z 。 M5：传递性 若X→→Y、Y→→Z，则X→→Z－Y。 M6：伪传递性