关系模式设计的好坏直接映像数据冗余和数据一致性等问题
关系模式分解时，应保持数据等价，语义等价。用无损分解，保持依赖两个特征来衡量。
关系模式的规范化过程实际上是一个分解的过程，范式是衡量模式优劣的标准
1NF 属性值是原子值
2NF 消除了非主属性对键的局部函数依赖
3NF 消除了非主属性对键的传递函数依赖
BCNF 消除了每一属性对键的传递函数依赖
4NF 消除了非平凡且非FD的MVD
