第6章 关系模式的规范化理论
本章主要内容
关系数据库的规范化设计是指面对一个现实问题,如何选择一个比较好的关系模式集合.规范化设计理论对关系数据库结构的设计起着重要的作用.
由于关系模型有严格的数学理论基础,因此人们就以关系模型为作为讨论对象,形成了数据库逻辑设计的一个有力工具――关系数据库的规范化理论.
本章主要内容
(1)关系模式的冗余和异常问题.
(2)FD的定义,逻辑蕴涵,闭包,推理规则,与关键码的联系;平凡的FD;属性集的闭包;推理规则的正确性和完备性;FD集的等价;最小依赖集.
(3)无损分解的定义,性质,测试;保持依赖集的分解.
(4)关系模式的范式:1NF,2NF,3NF,BCNF.分解成2NF,3NF模式集的算法.
(5)MVD,4NF,5NF的定义.
关系模式的规范化理论
6.1 关系模式设计中的问题
6.2 函数依赖
6.3 函数依赖的公理系统
6.4 关系模式的分解及其问题
6.5 关系模式的规范化
6.6 多值函数依赖与4NF
本章小结
6.1 关系模式设计中的问题
假设需要设计一个学生学习情况数据库StuDB.
下面我们以模式S_C_G(S#,SN,SD,SA,C#,CN,G,PC#)为例来说明该模式存在的问题.下表是其一个实例.
S#
SN
SD
SA
C#
CN
PC#
G
0001
张华
计算机
17
C101
离散数学
C110
5
0001
张华
计算机
17

下一页