第4章关系数据库的规范化设计重点.ppt

第4章 关系数据库的规范化设计 本章重要概念 （1）关系模式的冗余和异常问题。 （2）FD的定义、逻辑蕴涵、闭包、推理规则、与关键码的联系；平凡的FD；属性集 的闭包；推理规则的正确性和完备性；FD集的等价；最小依赖集。 （3）无损分解的定义、性质、测试；保持依赖集的分解。 （4）关系模式的范式：1NF，2NF，3NF，BCNF。分解成2NF、3NF模式集的算法。 （5）MVD、4NF、JD和5NF的定义。 前 言 关系数据库的规范化设计是指面对一个现实问题,如何选择一个比较好的关系模式集合。规范化设计理论主要包括三个方面的内容：数据依赖、范式和模式设计方法。其中数据依赖起着核心的作用。数据依赖研究数据之间的联系，范式是关系模式的标准，模式设计方法是自动化设计的基础。规范化设计理论对关系数据库结构的设计起着重要的作用。 4.1.1 关系模型的外延和内涵 外延就是通常所说的关系、表或当前值，它的基本性质已在第2章介绍过。由于用户经常对关系进行插入、删除和修改操作，因此外延是与时间有关的，随着时间的推移在不断变化。 内涵是与时间独立的，是对数据的定义以及数据完整性约束的定义。对数据的定义包括对关系、属性、域的定义和说明。对数据完整性约束的定义涉及面较广，主要包括以下几个方面： ·静态约束，涉及到数据之间联系（称为“数据依赖，data dependences）、主键和值域的设计。 ·动态约束，定义各种操作（插入、删除、修改）对关系值的影响。 4.1.2 关系模式的冗余和异常问题（一） 例4.1 4.1.2 关系模式的冗余和异常问题（二） 数据冗余 如果一个教师教几门课程，那么这个教师的地址就要重复几次存储。 操作异常 由于数据的冗余，在对数据操作时会引起各种异常： 修改异常。例如教师t1教三门课程，在关系中就会有三个元组。如果他的地址变了，这三个元组中的地址都要改变。若有一个元组中的地址未更改，就会造成这个教师的地址不惟一，产生不一致现象。 插入异常。如果一个教师刚调来，尚未分派教学任务，那么要将教师的姓名和地址存储到关系中去时，在属性C#和CNAME上就没有值（空值）。在数据库技术中空值的语义是非常复杂的，对带空值元组的检索和操作也十分麻烦。 删除异常。如果在图4.1中要取消教师t3的教学任务，那么就要把这个教师的元组删去，同时也把t3的地址信息从表中删去了。这是一种不合适的现象。 4.1.2 关系模式的冗余和异常问题（三） 4.2.1 函数依赖的定义（一） 定义4.1 设有关系模式R(U)，X和Y是属性集U的子集，函数依赖（Functional Dependency，简记为FD）是形为X→Y的一个命题，只要r是R的当前关系，对r中任意两个元组t和s，都有t［X］=s［X］蕴涵t［Y］=s［Y］，那么称FD X→Y在关系模式R (U)中成立。 4.2.1 函数依赖的定义（二） 例4.2 4.2.1 函数依赖的定义（三） 例4.3 有一个关于学生选课、教师任课的关系模式： R（S#，SNAME，C#，GRADE，CNAME，TNAME，TAGE） 属性分别表示学生学号、姓名、选修课程的课程号、成绩、课程名、任课教师姓名和年龄等意义。 如果规定，每个学号只能有一个学生姓名，每个课程号只能决定一门课程，那么可写成下列FD形式： S#→SNAME C#→CNAME 每个学生每学一门课程，有一个成绩，那么可写出下列FD： （S#，C#）→GRADE 还可以写出其他一些FD： C#→（CNAME，TNAME，TAGE） TNAME→TAGE 4.2.2 FD的逻辑蕴涵 定义4.2 设F是在关系模式R上成立的函数依赖的集合，X→Y是一个函数依赖。如果对于R的每个满足F的关系r也满足X→Y，那么称F逻辑蕴涵X→Y，记为F ?X→Y。 定义4.3 设F是函数依赖集，被F逻辑蕴涵的函数依赖全体构成的集合，称为函数依赖集F的闭包（closure），记为F+。即 F+=｛ X→Y |记为F?X→Y。 ｝ 4.2.3 FD的推理规则（一） 设U是关系模式R的属性集，F是R上成立的只涉及到U中属性的函数依赖集。FD的推理规则有以下三条： A1（自反性，Reflexivity）：若Y?X?U，则X→Y在R上成立。 A2（增广性，Augmentation）：若X→Y在R上成立，且Z?U，则XZ→YZ在R上成立。 A3（传递性，Transitivity）：若X→Y和Y→Z在R上成立，则X→Z在R上成立。 4.2.3 FD的推理规则（二） 定理4.1 FD推理规则A1、A2和A3是正确的。也就是，