関数従属性・正規化理論重要度:★★★出題: AM2・PM1・PM2

第3正規形（3NF）と推移的関数従属の排除

だいさんせいきけいとすいいてきかんすうじゅうぞくのはいじょ / Third Normal Form (3NF)

第2正規形を満たし、かつすべての非キー属性がいかなる候補キーに対しても推移的に関数従属しない関係スキーマの形式。

3行速習ポイント

候補キーX → 非キー属性Y → 非キー属性Z の「推移的関数従属」を別関係へ分解して排除する
更新時異状（挿入異状・削除異状・修正異状）を防ぎ、事実を1箇所で管理するワンファクト・イン・ワンプレイスを実現
午後I・午後IIでは「第3正規形でない根拠」の記述定型文が毎年のように出題される最重要テーマ

図解

図正規化ステップと関数従属性の整理

Step 1

第1正規形 (1NF)

繰返し属性・複合属性を排除し全属性を単一値化

↕

Step 2

第2正規形 (2NF)

候補キーの真部分集合への部分関数従属を排除

↕

Step 3

第3正規形 (3NF)

非キー属性間の推移的関数従属を排除

概要と本質

第3正規形（3NF）は、リレーショナルデータベースの論理設計において最も基本かつ重要な正規形です。第2正規形（部分関数従属の排除）を満たした上で、候補キー以外の属性（非キー属性）から別の非キー属性への関数従属（推移的関数従属）が存在しない状態を指します。

重要ポイント・コア概念

第2正規形でない根拠定型文：「全ての属性が単一値をとり、候補キーの一部である“A”に関数従属する“B”があるから」
第3正規形でない根拠定型文：「候補キーでない属性“C”に関数従属する“D”があり、推移的関数従属が存在するから」
分解時は関数従属の決定項（C）を主キーとする新しい関係スキーマを切り出し、元の関係にはCを外部キーとして残す

午後I・午後II記述試験での攻略ポイント

午後Iの正規化設問では、「現在の正規形（第1または第2正規形）」と「第3正規形でない根拠」がセットで問われます。IPA公式解答例の定型フレーズ『全ての属性が単一値をとり，候補キーの一部である“〇〇”に関数従属する“△△”があるから』『候補キーでない“〇〇”に関数従属する“△△”があるから』を一字一句そのまま書けるようにしておくことが合格への最短ルートです。