数据库系统概论——关系数据理论与数据库设计
一、关系规范化理论研究的实际背景
1.关系模式：R（U,D,DOM,F)
R是关系名；U是一组属性；D是属性组U中的属性所来自的域；DOM是属性到域的映射；F为属性组U上的一组数据依赖。
R<U,F>当且仅当U上的一个关系r满足F时，r称为关系模式R<U,F>的一个关系。作为一个二维表，关系要符合一个最基本的条件：每一个分量必须是不可分的数据项。满足这个条件的关系模式就属于第一范式（1NF）。
2.数据依赖
是一个关系内部属性与属性之间的一种约束关系。这种约束关系是通过属性间值的相等与否体现出来的数据间相关联系。
函数依赖(FD）和多值依赖(MVD）。
一个好的模式应当不会发生插入异常、删除异常、更新异常和数据冗余应尽可能少。
二、规范化
1.函数依赖
平凡函数依赖：
非平凡函数依赖：
完全函数依赖：
部分函数依赖：
传递函数依赖：
2.码
（1）候选码：
超码：
（2）主码：
主属性：
非主属性：
全码：
3.范式
关系数据库中的关系是要满足一定要求的，满足不同程度要求的为不同范式。
一个低一级范式的关系模式通过模式分解可以转换为若干个高一级范式的关系模式的集合，这种过程叫规范化。
（1）1NF
（2）2NF
（3）3NF
（4）BCNF
（5）多值依赖：
性质：
（6）4NF