4-第四章：数据库分析和设计技术（4）.pdfVIP

本讲简要说明 授课目的与要求： 完成基于函数相关性的范式的讨论， 了解关系(框架)上的多值相关性的定义 4NF、5NF. 授课难点：多值相关性。 作业安排：p.138 23,24,25 复习 关系框架（或关系上的）候选关键字、主属性、非主属性 部分（完全）依赖 传递依赖 关系框架（或关系、关系模式）为 2NF、3NF、BCNF 分解、无损分解、无损分解判定算法 2NF 去掉非主属性对候选关键字的部分依赖 3NF 去掉非主属性对候选关键字的传递依赖 BCNF 去掉主属性对候选关键字的部分依赖 数据库原理与技术（第四章） 2 算法的正确性 定理4.14 测试一个分解是否为无损分解的算法 Lossless （R，F，ρ）是正确的。 定理4.15 设ρ={R1,R2}是关系框架R的一个分 解，F是R上的相关性集合，那么ρ是R （关 于F）的无损分解的充分必要条件是： F （R1 ∩R2）→ （R1－R2）或者 F （R1 ∩R2）→ （R2－R1） 数据库原理与技术（第四章） 3 ① （充分性） 如果（R1 ∩R2）→（R1－R2）∈F， 则由算法Lossless （R，F，ρ）可知，该表中第二行的 b21,…,b2i可改为a1,…,ai，从而第二行变成a1a2…ak， 由定理4.14可知分解ρ={R1,R2}是R的无损分解。 + 进而若（R1 ∩R2）→（R1－R2）∈F ， 那么从F出发用公理F1，F2，F3必能导出（R1 ∩R2）→Ay （Ay为R1－R2中任一属性）。 若对此推导步骤进行归纳，可以证明当用F中的相关性修改R ρ 表时，定能将属性Ay所对应的第二行中的b2y改为ay， 于是修改后的R ρ表的第二行为a1…ak，故ρ为无损分解。 对（R1 ∩R2）→（R2－R1）的情况亦可类似讨论。 数据库原理与技术（第四章） 4 ② （必要性） 若ρ={R1,R2}为无损分解，那么按F对R ρ表修改之 结果应有第一行或者第二行为a1…ak， 若对bij的个数进行归纳，可以证明若bij改为aj，则定 + ，这意味着F|= （R1 ∩R2）→ 有Aj ∈（R1 ∩R2） （R1－R2）或者（R1 ∩R2）→（R2－R1）。证 毕。 数据库原理与技术（第四章） 5 4 ）保存相关性(依赖）分解 设F是R上的相关性的集合，ρ={R1,R2,…,Rn} 是R的一个分解。现将 + Π (F)={ V→W ∣V→W ∈F ∧VW ⊆Ri } Ri 称为F在子框架Ri上的投影。 定义4.14 保存相关性分解。 设ρ={R1,…,Rn}是R 的一个分解，F是R上 的相关性集合。如果， F ≡ Π (F) ∪ … ∪Π (F) R1 Rn 则称ρ是R的保存相关性（F的）分解。 数据库原理与技术（第四章） 6 5)保存相关性与无损分解的关系（1/2 ） 例：