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