第 1・第 2・第 3 正規形

関係スキーマ $R$ と関数従属集合 $F$ が与えられているとします。

第 1 正規形（1NF）：すべての属性の定義域が原子的な値からなること。すなわち、1 つのセルに複数の値のリストや入れ子の表を入れないこと。

第 2 正規形（2NF）：1NF であり、かつ、どの候補キー $K$、どの非主属性 $A$、どの真部分集合 $X \subsetneq K$ についても $F \not\models X \to A$ であること。言い換えると、非主属性が候補キーの一部だけに従属することがないこと（部分関数従属がないこと）。

第 3 正規形（3NF）：1NF であり、かつ $F^{+}$ に属する任意の非自明な関数従属 $X \to A$（$A \in R \setminus X$ は単一属性としてよい）について、次のいずれかが成り立つこと。

1. $X$ が $R$ のスーパーキーである、または
2. $A$ が主属性である。