応用情報技術者 2017年 春期 午前2 問27

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

要点まとめ

• 結論：受注明細表は第2正規形まで満たしているため、正解はイ: 第2正規形です。
• 根拠：主キーは「受注番号＋明細番号」で、部分関数従属がなく第1正規形を満たしつつ、非キー属性が主キー全体に完全関数従属しています。
• 差がつくポイント：商品名が商品コードに依存しているため、主キー全体には従属しておらず、第3正規形ではない点に注意が必要です。

正解の理由

• 第1正規形は「繰り返しグループがなく、各フィールドが単一値」であり、この表は満たしています。
• 第2正規形は「主キーの一部にのみ依存する属性がない」ことですが、商品名や商品コードは主キー全体に依存しているため、第2正規形も満たしています。
• しかし、商品名は商品コードに依存しており、主キー全体には依存していません。これは「推移的関数従属」と呼ばれ、第3正規形の条件を満たしていません。
  よって、第2正規形までの正規化状態です。

よくある誤解

解法ステップ

1. 主キーを特定する（ここでは「受注番号＋明細番号」）。
2. 各非キー属性が主キー全体に依存しているか確認する。
3. 部分関数従属（主キーの一部にのみ依存）がないか確認し、第2正規形を判定。
4. 推移的関数従属（非キー属性同士の依存）がないか確認し、第3正規形を判定。
5. 商品名が商品コードに依存しているため、第3正規形ではないと判断する。

選択肢別の誤答解説

• ア: 第1正規形
  繰り返しグループや複数値属性がないため、第1正規形は満たしているが、部分関数従属がないため第2正規形も満たす。
• イ: 第2正規形
  正解。主キーの一部にのみ依存する属性はなく、完全関数従属している。
• ウ: 第3正規形
  商品名が商品コードに依存しているため、推移的関数従属が存在し第3正規形ではない。
• エ: 第4正規形
  第3正規形を満たしていないため、第4正規形は論外。

補足コラム

• 第1正規形（1NF）：すべての属性が単一値であること。
• 第2正規形（2NF）：1NFかつ部分関数従属がないこと。
• 第3正規形（3NF）：2NFかつ推移的関数従属がないこと。
  商品コードと商品名のように、非キー属性同士の依存関係は推移的関数従属の典型例です。

FAQ