关系数据库理论

机械工业出版社
第7章  关系数据库理论
7.1  关系数据模式的规范化理论 7.1.1  关系模式规范化的必要性
     7.1.2  函数依赖及其关系的范式
     7.1.3  多值依赖及关系的第四范式
7.2  关系模式的分解算法
      7.2.1  关系模式分解的算法基础
      7.2.3  判定分解服从规范的方法
      7.2.4  关系模式的分解方法
7.1  关系数据模式的规范化理论
      范式（Normal Form）是指规范化的关系模式。由满足最基本规范化的关系模式叫第一范式，第一范式的关系模式再满足另外一些约束条件就产生了第二范式、第三范式、BC范式等等。一个低一级的关系范式通过模式分解可以转换成若干高一级范式的关系模式的集合，这种过程叫关系模式的规范化。
7.1.1  关系模式规范化的必要性
1. 关系模式应满足的基本要求1) 元组的每个分量必须是不可分的数据项。2) 数据库中的数据冗余应尽可能少。3) 关系数据库不能因为数据更新操作而引起数据不一致问题。4) 当执行数据插入操作时，数据库中的数据不能产生插入异常现象。5) 数据库中的数据不能在执行删除操作时产生删除异常问题。6) 数据库设计应考虑查询要求，数据组织应合理。