关系数据理论

规范化消除增删改查异常，降低数据冗余：

1NF、2NF、3NF、BCNF、4NF、5NF

1NF：基础数据不可再分。

2NF：非主属性完全函数依赖于码。1NF的前提下隔离部分函数依赖得到2NF。X->Y。

3NF：每个非主属性不部分依赖于码也不传递依赖于码。采用投影分解法，消除传递函数依赖。

BCNF：每一个决定属性因素都包含码。

4NF：不允许有非平凡且非函数依赖的多值依赖。允许有非平凡多值依赖是函数依赖。

过于规范化会增加表连接，产生笛卡尔积，所以规范化要把握一个平衡点。