5.2.4 模式的规范化 数据依赖引起的主要问题是操作异常,解决的办法是进行关系模式的合理分解,也就是进行关系模式的规范化(Normalization)。 关系模式需要满足规范化条件。不同程度的条件称作不同的范式。 E.F.Codd于1971年-1972年系统地提出了1NF,2NF,3NF的概念,讨论了规范化的问题。 1974年Codd 和Boyce共同提出BCNF。 1976年Fagin提出了4NF,以后又有人提出了5NF。 关系模式需要满足一定的条件,不同程度的条件称作不同的范式。 E.F.Codd于1971年-1972年系统地提出了1NF,2NF,3NF的概念,讨论了规范化的问题。 1974年Codd 和Boyce共同提出BCNF。 1976年Fagin提出了4NF,以后又有人提出了5NF。 由于关系的规范化的要求不同,出现了不同的范式(Normal Form),有1NF、2NF、3NF、BCNF、4NF、5NF等。满足最低要求的条件是叫做第一范式,简称1NF。这是最基本的范式化。在第一范式的基础上进一步增加条件,则有第二范式2NF、第三范式3NF,BCNF范式,第四范式4NF和第五范式5NF等。 其规范化的条件按上述次序越来越强,后面的范式可以看成是前面范式的特例。 范式概念可以理解为符合某一种级别的关系模式的集合,关系模式 R 为第几范式可以写成 R xNF。 把低级范式的关系模式,通过分解转换为高一级范式的关系模式的集合,这个过程称为规范化设计。 |