第一范式（First Normal Form）
如果一个关系模式 R 所有属性的域都是原子的，则称 R 属于第一范式。
第二范式（Second Normal Form）
如果一个关系模式 R 中的每个属性 A 都满足如下准则之一：
- 它出现在一个超码中。
- 它没有部分依赖一个候选码。
则称 R 属于第二范式。
Boyce-Codd范式（Boyce-Codd Normal Form）
具有函数依赖集 F 的关系模式 R 属于 BCNF 的条件是，对 F 集合的闭包 F+中所有形如 α → β 的函数依赖（其中 α ⊆ R 且 β ⊆ R），下面至少有一项成立：
- α → β 是平凡的函数依赖（即 beta ⊆ α）。
- α 是模式 R 的一个超码。
第三范式（Third Normal Form）
具有函数依赖 F 的关系模式 R 属于第三范式的条件是：对于 F+中所有形如 α → β 的函数依赖（其中 α ⊆ R 且 β ⊆ R），下面至少有一项成立：
- α → β 是平凡的函数依赖（即 beta ⊆ α）。
- α 是模式 R 的一个超码。
- β - α 中的每个属性 A 都包含于 R 的一个候选码中。
第四范式（Fourth Normal Form）
函数依赖和多值依赖集为 D 的关系模式 r（R）属于第四范式的条件是，对于 D 的闭包 D+中所有形如 α →→ β 的多值依赖（其中 α ⊆ R 且 β ⊆ R），至少有以下之一成立：
- α →→ β 是一个平凡的多值依赖。
- α 是 R 的一个超码。
