第六章关系数据理论（3
第六章 关系数据理论（3）
本章概述本章主要介绍关系数据库模式设计的理论--关系数据理论，也称为关系规范化理论。是从数据库逻辑设计（即数据库模式设计)的需要提出的理论，是数据库逻辑设计的基础。本章是整个课程的重点和难点之一，理论性较强，应通过例子学习掌握定理、算法的实质。三部分内容：函数依赖；范式；模式的分解6.1问题的提出6.2规范化，函数依赖，范式6.3函数依赖的公理系统6.4模式的分解2
2 本章概述 本章主要介绍关系数据库模式设计的理论 - 关系数据理论，也称为关系规范化理论。是从 数据库逻辑设计(即数据库模式设计)的需要提 出的理论，是数据库逻辑设计的基础。 本章是整个课程的重点和难点之一，理论性较 强，应通过例子学习掌握定理、算法的实质。 三部分内容：函数依赖；范式；模式的分解 6.1 问题的提出 6.2 规范化，函数依赖，范式 6.3 函数依赖的公理系统 6.4 模式的分解
教学要求掌握函数依赖及有关的概念函数依赖的公理系统i各级范式(1NF，2NF，3NF，BCNF，4NF)的定义及应用无损连接性、函数依赖保持性■无损连接及保持依赖的模式分解了解理解关系数据库的规范化理论及其在数据库设计中的应用3
3 教学要求 掌握 函数依赖及有关的概念 函数依赖的公理系统 各级范式(1NF, 2NF, 3NF, BCNF, 4NF)的 定义及应用 无损连接性、函数依赖保持性 无损连接及保持依赖的模式分解 了解理解 关系数据库的规范化理论及其在数据库设 计中的应用
温故而知新规范化的关系简称范式。范式是对关系的不同数据依赖程度的要求。各种范式之间的联系：5NF C4NFC BCNFC3NFC 2NFC 1NF1NF ： 关系中每一分量不可再分。2NF：要消除非主属性对码的部分依赖！3NF：要消除非主属性对码的传递依赖！！BCNF：要消除关于主属性的不良依赖！！！4NF：要消除多值依赖！！！4
4 温故而知新 规范化的关系简称范式。范式是对关系的不同 数据依赖程度的要求。 各种范式之间的联系： 5NF 4NF BCNF 3NF 2NF 1NF 1NF ：关系中每一分量不可再分。 2NF ：要消除非主属性对码的部分依赖！！！ 3NF ：要消除非主属性对码的传递依赖！！！ BCNF ：要消除关于主属性的不良依赖！！！ 4NF ：要消除多值依赖！！！
结论：T1.全码关系模式属于BCNF。■没有以非码属性作为决定因素的函数依赖■2. 二目关系模式属于BCNF。■如果有函数依赖。则其左部一定含码■3.不存在函数依赖的关系模式属于BCNF。■没有函数依赖■4.不存在非主属性的关系模式属于3NF。■没有非主属性■5.码只由一个属性组成的关系模式属于2NF。■不会有部分依赖5
5 结论： 1. 全码关系模式属于BCNF。 没有以非码属性作为决定因素的函数依赖 2. 二目关系模式属于BCNF。 如果有函数依赖, 则其左部一定含码 3. 不存在函数依赖的关系模式属于BCNF。 没有函数依赖 4. 不存在非主属性的关系模式属于3NF。 没有非主属性 5. 码只由一个属性组成的关系模式属于2NF。 不会有部分依赖