推移関数従属

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

主キーが非キー属性Aを決め、そのAがさらに別の非キー属性Bを決めるという間接的な従属関係。第3正規形はこれを取り除いた状態で、AとBを別の表に分離して整合性を保つ。

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

関係データベースの設計で、関数従属性に基づいて表を分解し、データの重複と更新時異状（追加・更新・削除の異状）を取り除くこと。繰返し項目を除いた第1正規形、部分関数従属を除いた第2正規形、推移関数従属を除いた第3正規形のほか、ボイス・コッド正規形、第4・第5正規形がある。分解は、結合すれば元の表に戻せる情報無損失分解で行う。

属性の組Xが決まれば属性Yが一意に決まり（X→Y）、かつXのどの真部分集合からもYが決まらない関数従属。例えば、{受注番号, 商品番号}→数量で、受注番号や商品番号の片方だけでは数量が決まらない場合が当たる。第2正規形は、非キー属性がすべての候補キーに完全関数従属している状態である。

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

第1正規形であり、かつ主キー以外のすべての列が、主キー全体に完全関数従属している状態。複合主キーの一部の列だけで値が決まる列（部分関数従属）を、別の表に分離して得る。

スタースキーマのディメンションテーブルを正規化し、商品→商品分類→大分類のように階層ごとの表に分割した構造。データの重複が減り、マスタの更新や整合性の維持がしやすい反面、問合せで結合する表が増えて、集計の性能や分かりやすさはスタースキーマに劣る。

概念データモデルを、採用するデータベースの方式（関係データベースなら表・列・主キー・外部キー）に沿って表し直したデータモデル。正規化によってデータの重複と更新時異状を取り除き、データ型や制約を定める。どの記憶装置にどう格納するかといった物理的な事項には立ち入らない。