数据库--对范式的理解

第一范式（1NF）
数据库表的每一列都是不可分割的原子数据项，而不能是集合，数组，记录等非原子数据项。

• 可能存在完全函数依赖、部分函数依赖、传递函数依赖、非主属性对主码的部分函数依赖

第二范式（2NF）
在1NF的基础上，非码属性必须完全依赖于候选码（在1NF基础上消除非主属性对主码的部分函数依赖）。
第二范式（2NF）要求实体的属性完全依赖于主关键字。所谓完全依赖是指不能存在仅依赖主关键字一部分的属性。

第三范式（3NF）
在2NF基础上，任何非主属性不依赖于其它非主属性（在2NF基础上消除传递依赖）

巴斯-科德范式（BCNF）
Boyce-Codd Normal Form（巴斯-科德范式）
在3NF基础上，任何非主属性不能对主键子集依赖（在3NF基础上消除对主码子集的依赖）

由BCNF的定义可以得到结论，一个满足BCNF的关系模式有：
-所有非主属性对每一个码都是完全函数依赖。
-所有主属性对每一个不包含它的码也是完全函数依赖。
-没有任何属性完全函数依赖于非码的任何一组属性。
若R∈BCNF，按定义排除了任何属性对码的传递依赖与部分依赖，所以R∈3NF。