【数据库技术】完整性约束与模式分解.pptVIP

第5章 完整性约束与模式参考书目：《数据库系统概论》萨师煊 王珊，高等教育出版社 本章概要 本章讲述完整性约束和关系数据库规范化理论，这是数据库逻辑设计的理论依据。 深刻理解完整性约束的基本概念； 要求了解规范化理论的研究动机及其在数据库设计中的作用； 掌握函数依赖的有关概念； 理解第一范式、第二范式、第三范式的定义， 重点掌握并能够灵活运用关系模式规范化的方法和关系模式分解的方法，这也是本章的难点。 为了维护数据库中数据与现实世界的一致性，对关系数据库的插入、删除和修改操作必须有一定的约束条件，这就是关系模型的三类完整性： 实体完整性 参照完整性 用户定义的完整性 1. 实体完整性(Entity Integrity) 实体完整性是指主码的值不能为空或部分为空。 例如，图5.4中学生关系中的主码“学号”不能为空；选课关系中的主码“学号+课程号”不能部分为空，即“学号”和“课程号”两个属性都不能为空。 2.? 参照完整性(Referential integrity) 如果关系R2的外部关系码X与关系R1的主码相符,则X的每个值或者等于R1中主码的某一个值，或者取空值。 如图5.1，5.2所示，学生关系中某个学生（如s1或s2）“系别”的取值，必须在参照的系别关系中主码“系别”的值中能够找到，否则表示把该学生分配到一个不存在的部门中，显然不符合语义。 如果某个学生（如s11）“系别”取空值，则表示该学生尚未分配到任何一个系。否则，它只能取专业关系中某个元组的专业号值。 S（学生关系）　　　　　　　 D（系别关系） 实体完整性和参照完整性是关系模型必须满足的完整性约束条件，被称作关系的两个不变性。任何关系数据库系统都应该支持这两类完整性。 除此之外，不同的关系数据库系统由于应用环境的不同，往往还需要一些特殊的约束条件，这就是用户定义完整性。 3. 用户定义完整性（User-defined Integrity） 用户定义完整性是针对某一具体关系数据库的约束条件。它反映某一具体应用所涉及的数据必须满足的语义要求。 例如，属性值根据实际需要，要具备一些约束条件，如选课关系中成绩不能为负数；某些数据的输入格式要有一些限制，关系模型应该提供定义和检验这类完整性的机制，以便用统一的、系统的方法处理它们，而不要由应用程序承担这一功能。 5.2 规范化问题的提出 5.2.1 规范化理论的主要内容 关系数据库的规范化理论主要包括三个方面的内容： 函数依赖 范式（Normal Form） 模式设计 其中，函数信赖起着核心的作用，是模式分解和模式设计的基础，范式是模式分解的标准。 5.1.2 关系模式的存储异常问题 数据库的逻辑设计为什么要遵循一定的规范化理论？ 什么是好的关系模式？ 某些不好的关系模式可能导致哪些问题？ 下面通过例子进行分析: 例如：要求设计教学管理数据库，其关系模式SCD如下： SCD(SNO,SN,AGE,DEPT,MN,CNO,SCORE) 其中，SNO表示学生学号，SN表示学生姓名，AGE表示学生年龄，DEPT表示学生所在的系别，MN表示系主任姓名，CNO表示课程号，SCORE表示成绩。 根据实际情况，这些数据有如下语义规定： 一个系有若干个学生，但一个学生只属于一个系； 一个系只有一名系主任，但一个系主任可以同时兼几个系的系主任； 一个学生可以选修多门功课，每门课程可有若干学生选修； 每个学生学习某门课程有一个成绩。 在此关系模式中填入一部分具体的数据，则可得到SCD关系模式的实例，即一个教学管理数据库，如图5.3所示。 图5.3 关系SCD 根据上述的语义规定，可以看出：(SNO,CNO)属性的组合能唯一标识一个元组，所以(SNO,CNO)是该关系模式的主码。 对图5.3所示的进行数据库的操作时，会出现以下几方面的问题： 数据冗余。 每个系名和系主任的名字存储的次数等于该系的学生人数乘以每个学生选修的课程门数，同时学生的姓名、年龄也都要重复存储多次，数据的冗余度很大，浪费了存储空间。 插入异常。 如果某个新系没有招生，尚无学生时，则系名和系主任的信息无法插入到数据库中。 因为在这个关系模式中，(SNO,CNO)是主码。根据关系的实体完整性约束，主码的值不能为空，而这时没有学生，SNO和CNO均无值，因此不能进行插入操作。 另外，当某个学生尚未选课，即CNO未知，实体完整性约束还规定，主码的值不能部分为空，同样不能进行插入操作。 删除异常。 某系学生全部毕业且还没有招生时，删除全部学生的记录则系名、系主任也随之删除，而这个系依然存在，在数据库中却无法找到该系的信息