第四章关系数据模式设计2.pptVIP

* * * 多值依赖：定义 平凡多值依赖和非平凡的多值依赖 若X→→Y，而Z＝ U－X－Y =φ，则称 X→→Y为平凡的多值依赖 否则称X→→Y为非平凡的多值依赖 多值依赖：性质 （1）多值依赖具有对称性 若X→→Y，则X→→Z，其中Z＝U－X－Y （2）多值依赖具有传递性 若X→→Y，Y→→Z， 则X→→Z –Y （3）函数依赖是多值依赖的特例(后者是前者的推广) 若X→Y，则X→→Y。 （4）若X→→Y，X→→Z，则X→→Y? Z。 （5）若X→→Y，X→→Z，则X→→Y∩Z。 （6）若X→→Y，X→→Z，则X→→Y-Z，X→→Z -Y 第四范式 要求 关系在1NF中 任意非平凡的多值依赖X→→Y，X含候选键 4NF中的多值依赖要么是平凡的，要么是函数依赖 可证：4NF是BCNF的真子集。 第四范式 分解 Teaching1 课程C 教员T 物理 李勇 物理 王军 数学 李勇 数学 张平 课程C 参考书B 物理 普通物理学 物理 光学原理 物理 物理习题集 数学 数学分析 数学 微分方程学 数学 高等代数 Teaching2 第四章 作业与练习 作业（下周交） 教材P1445, 10, 11题12题的(1), (2), (3) 小题 课后练习 1（注意全键）, 2, 3, 9 12题的(4), (5), (6), (7) 小题 * * * * * * * * * * * * * * * * * * * * * * * * * * * BC范式 R(S, T, C), F={ T→C, SC→T }, 候选键: ST, SC 问题3: 它们有我们以前讨论过的四个问题吗？ 是的，因为组合(T, C)的值重复 S T C Smith Jones Java Curry Jones Java Smith Frank C++ Curry Frank C++ Larry David C++ R 三种范式的比较 结论 2NF保证了这样的函数依赖：右边非键属性的情况下，左边!键（键的一部分） 3NF保证了这样的函数依赖：右边非键属性的情况下，左边=键（含键） BCNF在3NF的基础上，进一步保证：右边不管是还是非键属性，左边=键。 到BCNF为止，任何有意义（非平凡）的函数依赖都是好的，即右边不管是什么，左边都具有唯一性（含键）。 三种范式的判断 检查每个属性A上的可能函数依赖X? A A是非键属性 A是主属性 X不含键 违反3NF 违反BCNF X是键的一部分 违反2NF 违反BCNF 在学习这么多的范式以后…… 认识 高级范式的问题比低级范式要少 但即使是非常高级的范式，仍然可能还是有问题 所以我们不能期望没有任何问题的“完美”关系。只能尽量让关系达到尽可能高的范式，使问题尽可能的少 如何让关系达到更高的范式? 分解 把一个属于低级范式的“坏”关系，分解为几个属于高级范式的 “好”关系（更小的关系） 但是某些情况下分解会带来新的问题，比如信息丢失，这样的分解是不正确的。 两个要点 1. 什么样的分解方案才是正确的（不丢失信息的）? —— 无损连接分解 2. 怎么找到正确的分解方案? —— 规范化 无损连接分解 无损连接分解 不会丢失信息的分解 判定“一分二”是否无损连接分解的充分必要条件 将关系R分解为R1和R2 。则当以下两个函数依赖之一能够成立时，这种是无损的 R1 ? R2 → R1－R2  R1 ? R2 → R2－R1 无损连接分解 R(C, T, H, R, S) F = { C→T, HR→C, HT→R, HS→R } 问题1: R → R1(C, H, S), R2(C, T, H, R). 这一分解是无损的么? 是的，因为 CH+ ＝ (CTHR) ? CH → TR ? R1 ? R2 → R2－R1 ? R 分解为 R1, R2 是无损的 思考: R → R1(C, H, S), R2(C, T), R3(C, H, R). 这一分解是无损的么 规范化 规范化 将一个属于低级范式的“坏”关系，分解为多个属于高级范式的“好”关系，且无信息丢失的过程 根据目标范式的级别，又有 规范化到1NF 规范化到3NF 规范化到BCNF 规范化到1NF 非1NF的关系变为1NF的关系 方法：将关系中每个非原子的属性转化成原子的 复合属性的处理：转化成相应的多个原子属性 学号 姓名 父母 S1 John (Tom, Angie) S2 Smith (Mike, Sophie) Student 学号 姓名 父亲 母亲 S1 John Tom Angie S2 Smith Mike Sophie Student 规范化到