数据库原理应用教程NO16.pptVIP

4.3 关系模式的分解* 定义4.11 设有关系模式R(U)，属性集为U，R1、…、Rk都是U的子集，并且有R1∪R2∪…∪Rk＝U。 关系模式R1、…、Rk的集合用ρ表示，ρ=｛R1，…，Rk｝。 用ρ代替R的过程称为关系模式的分解。这里ρ称为R的一个分解，也称为数据库模式。 4.3.2 无损连接分解 定义4.12 ：设R是一个关系模式，F是R上的一个FD集。 R分解成数据库模式ρ=｛ R1，…，Rk ｝。如果对R中满足F的每一个关系r，都有 r= πR1（r）?πR2（r）? … ?πRk（r） 那么称分解ρ相对于F是“无损连接分解”（lossless join decomposition），简称为“无损分解”，否则称为“损失分解”（lossy decomposition）。 4.3.3 无损分解的测试算法（算法4.3 ） ①构造一张k行n列的表格，每列对应一个属性Aj，每行对应一个模式Ri。如果Aj在Ri中，那么在表格的第i行第j列处填上符号aj，否则填上bij。 ②把表格看成模式R的一个关系，反复检查F中每个FD在表格中是否成立，若不成立，则修改表格中的值。 修改方法如下：对函数依赖X→Y,找X相等的行，改Y的分量值：如果Y值中有一个是aj，那么另一个也改成aj；如果没有aj，那么用其中一个bij替换另一个值（尽量把下标ij改成较小的数）。一直到表格不能修改为止。（这个过程称为‘追踪chase’过程） ③若修改的最后一张表格中有一行是全a，即a1a2…an，那么称ρ相对于F是无损分解，否则称损失分解。 4.3.4 保持函数依赖的分解 定义4.13： 设F是属性集U上的FD集，Z是U的子集，F在Z上的投影用πZ（F）表示，定义为 πZ(F)={X→Y|X→Y∈F+，且XY?Z} 设ρ={R1，…，Rk } 是R的一个分解，F是R上的FD集 如果有(∪πRi(F))+= F+ ， 那么称分解ρ保持函数依赖集F的分解。 根据定义，测试一个 分解是否保持FD,比较可行的方法是逐步验证F中的每个FD是否被 (∪πRi(F))+= F+ 蕴涵 各种范式之间的关系 4.4.1 第一范式 (1NF) 定义4.14: 如果关系模式R所有的属性均为简单属性，即每个属性都是不可再分的，则称R属于第一范式，简称1NF，记作R∈1NF。 1NF是关系模式应具备的最起码的条件。 第一范式可能具有大量的数据冗余，具有插入异常、删除异常和更新异常等弊端。 例如关系模式SCD属于1NF，它既存在完全函数依赖，又存在部分函数依赖和传递函数依赖 。 克服这些弊端的方法是用投影运算将关系分解，去掉过于复杂的函数依赖关系，向更高一级的范式进行转换。 4.4.2 第二范式 (2NF) 4.4.5 多值依赖与第四范式 多值依赖的定义 假设学校中一门课程可由多名教师讲授，教学中他们使用相同的一套参考书。 CTB转化成规范化的关系如下图所示： 定义4.18 设有关系模式R（U），U是属性全集，X、Y、Z是属性集U的子集， 且Z=U－X－Y，如果对于R的任一关系，对于X的一个确定值，存在Y的一组值与之对应，且Y的这组值仅仅决定于X的值而与Z值无关，此时称Y多值依赖于X，或X多值决定Y，记作X→→Y。 若X→→Y且Z=U－X－Y≠Φ，则称X→→Y是非平凡的多值依赖(Multivalued Dependence MVD)，否则称为平凡的多值依赖 。 多值依赖公理及其推论 多值依赖公理 增广律：如果X→→Y，V ? W ? U，则WX→→VY。 传递律：如果X→→Y，Y→→Z，则X→→Z-Y。 补余律：如果X→→Y，则X→→U-X-Y 。 函数依赖公理与多值依赖混合公理 复制规则：从FD导出MVD，如果X→Y，则X→→Y。 接合规则：从MVD导出FD：如果X→→Y，ZY，且存在WU有W∩Y=?，W→Z，则X→Z。 多值依赖推论 合并律：如果X→→Y，X→→Z，则X→→YZ。 伪传递律：如果X→→Y，WY→→Z，则XW→→(Z-W-Y)。 分解律：如果X→→Y，X→→Z，则X→→（Y∩Z），X→→(Y-Z)，X→→(Z-Y) 。 混合伪传递律：如果X→→Y，XY→→Z，则X→→(Z-Y) 。 第四范式（4NF）定义 定义4.19 设有一关系模式R（U），U是其属性全集，X、Y是U的子集，D是R上的数据依赖集。如果对于任一多值依赖X→→Y，此多值依赖是平凡的，或者X包含了R的一个候选关键字，则称R是第四范式的关系模式，记为R∈4NF 。 一个BCNF的关系模式不一定是4NF 4NF是BCNF的推广 一个BCNF的关系模式不一定是4NF 第