第六章 关系据库理论.pptVIP

第六章 关系数据库理论 6.2 规范化 三、范式 五、3NF 六、BCNF 七、多值依赖 定义9：关系模式R（U），X，Y，Z是U的子集，并且Z=U-X-Y。关系模式R(U)中多值依赖X??Y成立，当且仅当对R（U）的任一关系r，给定的一对（x，z）值，有一组Y的值，这组值仅仅决定于x值而与z值无关。 八、4NF 6.3 数据依赖的公理系统 定义12：在关系模式 RU,F中为F所逻辑蕴含的函数依赖的全体叫做F的闭包， 记为F+。 定义14：如果G+=F+，就说函数依赖集F覆盖G（F是G的覆盖，或G是F的覆盖），或F与G等价。 6.4 模式的分解 分解具有“无损连接性” 分解要“保持函数依赖” 分解既要“保持函数依赖”，又要具有“无损连接性”。 二、分解的无损连接性和保持函数依赖性 例：已知 RU,F，U＝{A,B,C,D,E}，F={AB ? C，C ?D，D ?E}，R的一个 分解为R1(A,B,C)，R2(C,D)，R3(D,E)。 定理： RU,F的一个分解 ρ＝{R1U1，F1，R2U2,F2}具有无损连接性的充 分必要条件是： U1∩U2 ? U1－U2 ? F+ 或 U1∩U2 ? U2－U1 ? F+ 。 ⑴ 若要求分解保持函数依赖，那么模式分离总可以达到3NF， 但不一定能达到B