1
数据库原理与应用技术
1.4.3 3.3 规范化理论

3.3 规范化理论

关系模式的好与坏,可以用一个具体的标准来衡量。这个标准就是模式的范式(Normal Forms,NF)。范式的种类与函数依赖有着直接的联系,基于函数依赖的范式有1NF、2NF、3NF、BCNF等多种。

当不涉及函数依赖时,关系中不可能有冗余的问题。但是,当存在函数依赖时,关系中就有可能存在数据冗余问题。

第一范式(1NF)是关系模式的基础;第二范式(2NF)一般已不再使用;在数据库设计中最常用的是第三范式(3NF)和BCNF。1NF、2NF和3NF是Codd在1971—1972年提出的。BCNF(Boyce Codd Normal Forms)是Codd和Boyce在1974年共同提出的一种新范式。本节重点介绍1NF、2NF、3NF和BCNF。