数据库范式

第一范式（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 的一个超码。