第五章关系模式的规范化理论.pptVIP

第五章 数据库的规范化 5.1 什么是好的数据库 5.2 函数依赖 5.3 关系的规范化 5.1 什么是好的数据库 由于人们对客观世界的理解不同，导致设计的E－R图会有所不同，因此生成的关系模式也有多种。 利用数据库规范化方法来指导数据库的设计。 规范化方法是从微观角度来研究关系模式中属性间的函数依赖性，并判断关系模式设计是否合理，从而使数据库设计得以优化。 规范化方法重点是关系规范化的相关理论，该理论主要包括函数依赖理论及关系范式。 5.2 函数依赖 5.2.1 函数依赖的定义 5.2.2 完全函数依赖于部分函数依赖 5.2.3 传递函数依赖 5.2.4 码 5.2.1 函数依赖的定义 1.定义 假设R（U）是一个关系模式，U是属性集合，X和Y是U的子集。对于R（U）的任意一个可能的关系 r，如果 r 中不存在两个元组，它们在X上的属性值相同，而在Y上的属性值不同，则称X函数决定Y，或称Y函数依赖X，记作X →Y。 2. 函数依赖图 为了直观地了解属性之间的函数依赖性，可以用函数依赖图描述关系的函数依赖集。? 学号 姓名 性别 系名称 系地址 5.2.2 完全函数依赖于部分函数依赖 设X、Y是关系R的不同属性集，若X→Y （Y函数依赖于X），且不存在X’?X ，使X’→Y，则称Y完全函数依赖于X，记为 ； 否则则称Y部分函数依赖于X，记为 5.2.4 码 在关系模式R(U)中，若K?U，且满足 ，则称K为R的关键字。 一个包含了关键字的属性集合也能够函数决定（但不是完全函数决定，而是部分决定）属性全集，我们把这种包含了关键字的属性集合称为超关键字(Super Key)。 5.3 关系的规范化 满足特定要求的模式称之为范式。 所谓模式规范化，就是对关系模式应当满足的条件的某种处理，其目的是： (1)消除异常现象。 (2)方便用户使用，简化检索操作。 (3)加强数据独立性。 (4)使关系模式更灵活，更容易使用非过程化的高级查询语言。 (5)更容易进行各种查询统计工作。 关系规范化的条件可以分成几级，每一级称为一个范式，记为XNF，其中X表示级别,NF是范式(Normal Form)，即关系模式满足的条件。 范式的级别越高，条件越严格，因此有： 5.3.1 第一范式（1NF） 定义（1NF）：如果一个关系模式R的每个属性的域都只包含单纯值，而不是一些值的集合或元组，则称R是第一范式，记为R∈1NF。 把一个非规范化关系模式变为1NF有两种方法： 把不含单纯值的属性分解为多个属性，并使它们仅含单纯值。 把关系模式分解，并使每个关系都符合1NF 5.3.2 定义6.15（2NF）：如果关系模式R∈1NF，且它的任一非主属性都完全函数依赖于任一候选关键字，则称R满足第二范式，记为R∈2NF。 把一个1NF的关系模式变为2NF的方法是，通过模式分解，使任一非主属性都完全函数依赖于它的任一候选关键字。 5.3.4第三范式（3NF） 定义：如果关系模式R∈2NF,且每一个非主属性不传递依赖于任一候选关键字，则称R∈3NF。 5.3.4 Boyce-Codd范式（BCNF) 定义）：设有关系模式R及其函数依赖集F,X和A是R的属性集合，且A?X。如果只要R满足X→A，X就必包含R的一个候选关键字，则称R满足BCNF，记为R∈BCNF。 该定义主要有三点： (1)所有非主属性A对码都是完全函数依赖的(R∈2NF)。 (2)没有属性完全函数依赖于非码的任何属性组(R∈3NF)。 (3)所有主属性对不包含它的码是完全函数依赖的（新增加条件）。 5.3.5多值函数依赖与4NF * * 例 5.1 学生关系模式为： 学生（学号，姓名，性别，系名称，系地址） 语义：每名学生有唯一的学号，根据学号就可以查出学生的姓名、性别、所在系名称和系地址。每个系有唯一的系名称，知道系名称就能查出系地址。学生关系的FD集为： FD={学号? 姓名，学号? 性别，学号?系名称，学号?系地址， 系名称?系地址} 也可以记成：学号 ? 姓名，性别，系名称，系地址 系名称?系地址 3.平凡函数依赖与非平凡函数依赖 在关系模式R（U）中，对于U的子集X和Y，如果X?Y，且Y ? X（Y是X的子集），则称X?Y是平凡函数依赖。如果X?Y，但Y ? X，则称X?Y是非平凡函数依赖。 f ρ 例5.2 已知关系模式如下： 成绩（学号，姓名，课程号，课程名称，学时，分数） 语义：每名学