推移関数従属

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

X→YかつY→Zが成り立つとき、XからZへの従属関係。キー以外の属性間に推移的従属が存在すると更新異状の原因となるため、第3正規形への正規化で除去する。

X→Y、Y→Zが成り立ち、YからXが決まらないときに、XからZがYを介して間接的に決まる関数従属。例えば、社員番号→部署コード→部署名の関係で、部署名が社員番号に推移的に従属する場合が当たる。非キー属性が他の非キー属性に従属している状態なので、第3正規形への正規化で部署の表を分離する。

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

第1正規形を満たし、かつ主キーの一部の属性にのみ関数従属する非キー属性（部分関数従属）が存在しない表の状態。複合主キーを持つ表において、主キーの一部にしか依存しない属性を別の表に分離する。

第2正規形を満たし、かつ非キー属性間の推移関数従属が存在しない表の状態。非キー属性Aが非キー属性Bに関数従属し、BがキーKに関数従属する場合（K→B→A）、属性AとBを別の表に分離する。

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

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

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