第5章 关系模式设计
5.1 关系模式设计问题
泛模式：用一个大表存放所有的数据
泛模式存在的问题
数据冗余
操作异常
更新异常
插入异常
删除异常
泛模式分解：分解为若干个模式后，可使每个模式概念单一，数据模型结构合理。
5.2 函数依赖
5.2.1 函数依赖的定义
X→Y：X函数决定Y或Y函数依赖于X，“X→Y”为模式R的一个函数依赖
函数依赖是它所表示的事物性质的相关性与设计者进行强制的一种结合
5.2.2 函数依赖的逻辑蕴涵定义
X→Y为F的逻辑蕴涵（或F逻辑蕴涵X→Y）：表示从F中可以推导出X→Y。
F的闭包：F逻辑蕴涵的全体函数依赖构成一个集合
5.2.3 函数依赖的推理规则
函数依赖的公理：自反律、增广律、传递律
5.2.4 属性集的闭包
一个函数依赖X→Y的充分必要条件是Y⊆X+
5.2.5 函数依赖推理规则的完备性
函数依赖推理规则体系是完备的
5.2.6 函数依赖集的等价和最小函数依赖集
两个函数依赖集等价，也可以称为覆盖。
任何函数依赖集都有最小覆盖
5.3 关系模式的分解
5.3.1 分解关系模式出现的问题
分解是否具有无损连接
分解是否保持了函数依赖
5.3.2 无损连接分解
5.3.3 保持函数依赖分解
关系模式R上的函数依赖集F在分解后仍在数据库模式中保持不变
5.4 关系模式的范式
5.4.1 几个概念
主属性
非主属性
部分依赖
完全依赖
传递依赖
5.4.2 第1范式（1NF）
关系中的每个元组分量必须是原子的，即元组中的每个属性值是不可再分解的
任何规范关系都必须遵守的最低要求
5.4.3 第2范式（2NF）
关系中的每个非主属性都完全依赖于某个候选关键字
5.4.4 第3范式（3NF）
关系中的每个非主属性都不传递依赖于羬绵某个候选关键字
5.4.5 Boyce-Codd范式（BCNF）
关系中的每个函数依赖X→Y，必有X是关系的超关键字
5.4.8 多值依赖（Multivalued Dependency，MVD）
关系中属性值之间的一对多关系
性质：
多值依赖具有对称性质
函数依赖是多值依赖的一种特殊情况
存在平凡的多值依赖
5.4.9 第4范式（4NF）
关系中每个非平凡的多值依赖X→→Y，必有X是关系的超关键字
5.4.10 关系模式设计的基本原则
等价性
无论对一个模式进行分解或模式间进行连接，都要做到数据等价和依赖等价
分离性
一个模式表达一个语义概念。
分离的基准就是一系列的范式。
最小冗余性
在保证正确性的前提下清除不必要的冗余，其目的是从时空两个方面提高效率。
备注：
《数据库技术基础与应用（第2版）》的豆瓣链接https://book.douban.com/subject/2995584/