第7章关系数据库理论-修改.ppt

第7章 关系数据库理论 7.1 关系数据模式的规范化理论 7.1.1 关系模式规范化的必要性 7.1.2 函数依赖及其关系的范式 7.1.3 多值依赖及关系的第四范式 7.1.4 连接依赖及关系的第五范式 7.1.5 关系规范化小结 *7.2 关系模式的分解算法 7.2.1 关系模式分解的算法基础 7.2.2 极小化算法在数据库设计中的应用 7.2.3 判定分解服从规范的方法 7.2.4 关系模式的分解方法 7.1 关系数据模式的规范化理论 范式（Normal Form）是指规范化的关系模式。由满足最基本规范化的关系模式叫第一范式，第一范式的关系模式再满足另外一些约束条件就产生了第二范式、第三范式、BC范式、第四、第五范式等等。一个低一级的关系范式通过模式分解可以转换成若干高一级范式的关系模式的集合，这种过程叫关系模式的规范化。 7.1.1 关系模式规范化的必要性 1. 关系模式应满足的基本要求1) 元组的每个分量必须是不可分的数据项。2) 数据冗余应尽可能少。3) 不能因为数据更新操作而引起数据不一致问题。4) 当执行数据插入操作时，数据不能产生插入异常现象。5) 数据不能在执行删除操作时产生删除异常问题。6) 数据库设计应考虑查询要求，数据组织应合理。 2. 关系模式可能出现的问题 教学（学号，姓名，年龄，性别，系名，系主任，课程名，成绩） 3. 模式分解是关系规范化的主要方法 上述的关系模式: 教学(学号，姓名，年龄，性别，系名，系主任，课程名，成绩) 可以按“一事一地(表)”的原则分解成“学生”、“教学系”和“选课”三个关系，其关系模式为：  学生(学号，姓名，年龄，性别，系名)； 教学系(系名，系主任)； 选课(学号，课程名，成绩) 分解后的关系模式及元组数据 7.1.2 函数依赖及其关系的范式 关系模式的简化表示法关系模式的完整表示是一个五元组： R〈U，D，Dom，F〉 其中：R为关系名；U为关系的属性集合；D为属性集U中属性的数据域；Dom为属性到域的映射；F为属性集U的数据依赖集。关系模式可以用三元组来为： R〈U，F〉 数据依赖包括：函数依赖、多值依赖、连接依赖 2. 函数依赖的概念 定义1：设R〈U〉是属性集U上的关系模式，X、 Y是U的子集。若对于R〈U〉的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而Y上的属性值不等，则称X函数决定Y函数，或Y函数依赖于X函数，记作X→Y。 例如，对于教学关系模式：教学〈U，F〉；U={学号，姓名，年龄，性别，系名，系主任，课程名，成绩}；F={学号→姓名，学号→年龄，学号→性别，学号→系名，系名→系主任，(学号，课程名)→成绩}. ① X→Y，但Y X，则称X→Y是非平凡的函数依赖。若不特别声明，总是讨论非平凡的函数依赖。② X→Y，但Y?X，则称X→Y是平凡的函数依赖。③ 若X→Y，则X叫做决定因素（Determinant），Y叫做依赖因素（Dependent）。④ 若X→Y，Y→X，则记作X?Y。⑤ 若Y不函数依赖于X，则记作X Y。 完全及部分函数依赖 定义2：在R〈U〉中，如果X→Y，并且对于X的任何一个真子集X’，都有X’ Y，则称Y对X完全函数依赖，记作：X→Y；若X→Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖，记作： X→Y  例如，在教学关系模式：(学号，课程名)→成绩，(学号，课程名)→姓名 传递函数依赖 定义3：在R〈U〉中，如果X→Y，(Y X)，Y X，Y→Z，则称Z对X传递函数依赖。传递函数依赖记作X → Z  在教学模式中，因为：学号→系名，系名→系主任；所以：学号 → 系主任。 3. 1NF的定义、 2NF的定义 如果关系模式R，其所有的属性均为简单属性，即每个属性都是不可再分的，则称R属于第一范式，记作R?1NF。 若R?1NF，且每一个非主属性完全依赖于码，则R?2NF。 教学（学号，姓名，年龄，系名，系主任，课程名，成绩） 码，非主属性对码的函数依赖 模式分解 5. 3NF的定义 若R?2NF，且关系模式R〈U，F〉中若不存在这样的码X、属性组Y及非主属性Z(Z Y)使得X→Y、Y X、Y→Z成立，则称R〈U，F〉?3NF。可以证明，若R