応用情報技術者 2010年 春期 午前2 問32

受注明細表の正規形判定【午前2 解説】

要点まとめ

• 結論：受注明細表は第2正規形（2NF）まで満たしているが、第3正規形（3NF）ではないです。
• 根拠：主キーは「受注番号＋明細番号」の複合キーで、部分関数従属がないが、非キー属性間に推移的関数従属が存在します。
• 差がつくポイント：商品コードから商品名が決まるため、非キー属性同士の依存関係を見抜くことが重要です。

正解の理由

• 第1正規形（1NF）は満たしており、繰り返しグループや多値属性はありません。
• 第2正規形（2NF）は、主キーの一部にのみ依存する非キー属性がないため満たしています。
• しかし、「商品名」は「商品コード」に依存しており、これは主キーの一部ではなく非キー属性間の依存（推移的関数従属）です。
  このため、第3正規形（3NF）は満たしていません。

よくある誤解

解法ステップ

1. 主キーを確認する（受注番号＋明細番号の複合キー）。
2. 各非キー属性が主キー全体に依存しているかを検証する。
3. 非キー属性間の依存関係（商品コード→商品名）を見つける。
4. 部分関数従属がないため2NFは満たすと判断。
5. 推移的関数従属があるため3NFは満たさないと結論付ける。

選択肢別の誤答解説

• ア: 第1正規形
  1NFは繰り返しや多値属性の排除が条件ですが、この表は既に満たしています。
• イ: 第2正規形
  正解。部分関数従属はなく2NFを満たしています。
• ウ: 第3正規形
  商品コード→商品名の推移的関数従属があるため不適切です。
• エ: 第4正規形
  4NFは多値従属の排除が条件で、3NFを満たしていないため論外です。

補足コラム

• 1NF：繰り返しグループの排除
• 2NF：部分関数従属の排除
• 3NF：推移的関数従属の排除
• 4NF：多値従属の排除
  今回のケースでは、商品コードと商品名の関係を別表に分けることで3NFを達成できます。

FAQ