第1正規形

テーブル内のすべての属性値がスカラー値（それ以上分解できない原子的な値）である状態。繰り返し項目や複合値を排除し、各セルに1つの値だけが入るようにする。

すべての属性値が原子的（これ以上分解できない値）であり、繰り返し項目を含まない表の状態。非正規形の表から繰り返しグループを排除して、各セルに1つの値のみが入るようにする。正規化の最初のステップ。

表のすべての列の値が、それ以上分解できない単一の値（原子値）であり、繰返し項目を含まない状態。非正規形の表から繰返しのグループを取り除き、1つのセルに1つの値だけが入るようにして得る。

第1正規形であり、かつすべての非キー属性が候補キーに完全関数従属している状態。部分関数従属を除去することで達成される。複合キーを持つリレーションの正規化で特に重要。

第2正規形であり、かつすべての非キー属性がいかなる候補キーにも推移的に関数従属しない状態。非キー属性間の推移的関数従属を除去することで達成される。実務でよく用いられる正規化の到達目標。

リレーション内のすべての自明でない関数従属X→Yにおいて、Xがスーパーキーである状態。第3正規形をより厳密にした形で、候補キーが複数ある場合に第3正規形との差異が生じる。略称BCNF。

第4正規形であり、かつ自明でない結合従属性が存在しない状態。結合従属性を持つリレーションを無損失分解することで達成される。射影-結合正規形（PJ/NF）とも呼ばれる。

E.F.コッドが提唱した、データを2次元の表（リレーション）で表現するデータモデル。数学的な集合論と述語論理に基づき、データの構造・操作・整合性制約を定義する。現在のRDBMSの理論的基盤である。

関係モデルにおける基本的なデータ構造で、属性（列）の集合で定義されるスキーマと、タプル（行）の集合で構成される。数学的には定義域の直積の部分集合である。実装上はテーブルに対応する。