《数据库技术-苏桂平》第3章函数依赖和公理.pptVIP

* 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。 36 35 * 定义(化简覆盖) 若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的一个规范覆盖。 计算规范覆盖： （1）将每个FD的右部化为单属性； （2）将每个FD化为左简化的； （3）计算无冗余的覆盖。 * 3.3.4 最小覆盖 定义(最小覆盖) 如果FDs集F和任一等价的FDs集G相比，具有最少的函数依赖数，则称F为G的最小覆盖。 例： G={A→BC, B→A, AD→E, BD→I} F={A→BC, B→A, AD→EI} * 3.4 多值依赖 3.4.1多值依赖(Multivalued Dependency，MVD) 例1： COURSE TEACHER CLASS 知识工程 王一平 硕士 刘晓利 博士 离散数学 赵 静 硕士 孟山峰 本科 大专 * 下下 例2： COURSE TEACHER CLASS 知识工程 王一平 硕士 知识工程 王一平 博士 知识工程 刘晓利 硕士 知识工程 刘晓利 博士 t1 t3 t4 t2 COURSE →→ TEACHER COURSE →→ CLASS 下页 * 定义(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）设关系模式R，X、Y ? R 且Z=R-(XY)。若关系模式R满足多值依赖 (MVD) X→→Y，当且仅当对R上的任一关系r，给定一对（x, z）的值，有一组y的值，这组值仅仅决定于x值而与z的值无关。 * 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→→