范式等级:

1NF ⊆ 2NF ⊆ 3NF ⊆ BCNF ⊆ 4NF ⊆ 5NF

1971-1972 年,科德提出了 1NF、2NF、3NF 概念,讨论规范化问题;1974 年,科德和博伊斯提出 BCNF;1976 年,法金提出 4NF,后来有人提出 5NF。规范化条件按上述顺序逐级增强。

范式概念可理解为符合特定等级的关系模式集合,可表示为 R ∈ xNF。关系模式规范化设计过程是将低级范式关系模式分解为符合高一级范式的关系模式集合。