IPA公式正解：イ 推移的関数従属性が存在しない。
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【イ】です。第2正規形から第3正規形への変換は、「推移的関数従属を排除する」ことです。主キー以外の非キー属性によって他の非キー属性が決定される関係を別表に切り出します。
【詳細解説】■ 本問の核心・解法のポイント
データベースの正規化の各段階の定義を正確に区別して覚えているかが問われます。
・第1正規形：すべての属性値が単一値（原子値）である。
・第2正規形：第1正規形であり、すべての非キー属性が主キーに対して完全関数従属している（部分関数従属が存在しない）。
・第3正規形：第2正規形であり、すべての非キー属性が主キーに対して推移的関数従属していない（非キー属性への関数従属が存在しない）。
・ボイス・コッド正規形（BCNF）：すべての関数従属 X → Y において、Xがスーパーキーである。
・各選択肢の徹底解説：
・ア：第1正規形から第2正規形を満たすための条件（部分関数従属性の排除）です。
・イ：【選択肢イ★】適切です。第2正規形から推移的関数従属性を排除したものが第3正規形です。
・ウ：非正規形から第1正規形を満たすための条件（繰り返し項目の排除・原子値化）です。
・エ：誤り。主キーから非キー属性への関数従属は当然存在してよく、またボイス・コッド正規形の条件等の説明とも異なります。
よって正解はイです。
