数据库范式理论

1NF的定义为：关系中的每个属性都不可再分。

2NF的定义为：满足1NF的前提下，消除非主属性对于码的部分函数依赖。

3NF的定义为：满足2NF的前提下，消除非主属性对于码的传递函数依赖。（非主属性的所有字段必须互不依赖）

BCNF的定义为：在 3NF 的基础上，消除主属性对于码的部分与传递函数依赖。

4NF的定义为：消除了非平凡且非函数依赖的多值依赖。