关系模式设计

关系模式设计的好坏直接映像数据冗余和数据一致性等问题

关系模式分解时，应保持数据等价，语义等价。用无损分解，保持依赖两个特征来衡量。

关系模式的规范化过程实际上是一个分解的过程，范式是衡量模式优劣的标准

1NF　　属性值是原子值

2NF　　消除了非主属性对键的局部函数依赖

3NF　　消除了非主属性对键的传递函数依赖

BCNF    消除了每一属性对键的传递函数依赖

4NF　　消除了非平凡且非FD的MVD