部分関数従属

複合キーの一部だけによって非キー属性が決まる関係。第2正規形はこの部分関数従属を取り除いた状態であり、該当する属性を別の表へ分離することで更新時異状を防ぐ。

複合キーの一部の属性だけで他の属性が一意に決定される関数従属。更新異状の原因となるため、第2正規形への正規化で除去する。

複数の属性からなる候補キーの一部だけで、非キー属性が決まってしまう関数従属。例えば、{受注番号, 商品番号}がキーの表で、商品番号だけから商品名が決まる場合が当たる。部分関数従属があると同じ商品名が何度も現れて更新時異状の原因になるので、第2正規形への正規化で別の表に分離する。

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

第1正規形を満たし、かつ主キーの一部に対する部分関数従属を排除した状態。主キーが複合キーの場合に、主キー全体ではなくその一部の属性だけに依存する非キー属性を別テーブルに分離する。

第2正規形を満たし、かつ推移関数従属を排除した状態。非キー属性が他の非キー属性に依存する推移的な従属関係を解消し、別テーブルに分離する。

ある属性が主キー全体に対して関数的に従属している状態。複合キーの場合、キーの一部分だけでは決まらず、キー全体が揃って初めて値が一意に定まる関係を指す。

属性Aが属性Bを決定し、属性Bが属性Cを決定するとき、属性Aが属性Cを間接的に決定する関係。第3正規化で排除すべき従属関係であり、推移的に従属する属性を別テーブルに分離する。

リレーションのデータ冗長性を排除し、更新異状（挿入異状、削除異状、修正異状）を防止するために、リレーションをより小さな単位に分解する手法。関数従属性や多値従属性に基づき、段階的に正規形に変換する。