4.3　关系模式的规范化

关系数据库中的关系必须满足一定的规范化要求，对于不同的规范化程度可用范式来衡量。范式是符合某一种级别的关系模式的集合，是衡量关系模式规范化程度的标准，达到的关系才是规范化的。目前主要有6种范式：第一范式、第二范式、第三范式、BC范式、第四范式和第五范式。满足最低要求的叫第一范式，简称为1NF。在第一范式基础上进一步满足一些要求的为第二范式，简称为2NF。其余以此类推。显然各种范式之间存在联系。

1NF⊃2NF⊃3NF⊃BCNF⊃4NF⊃5NF

通常把某一关系模式R为第n范式简记为R∈nNF。

范式的概念最早是由E.F.Codd提出的。在1971到1972年期间，他先后提出了1NF、2NF、3NF的概念，1974年他又和Boyee共同提出了BCNF的概念，1976年Fagin提出了4NF的概念，后来又有人提出了5NF的概念。在这些范式中，最重要的是3NF和BCNF，它们是进行规范化的主要目标。一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式的集合，这个过程称为规范化。