IPA公式正解：イ 候補キーの真部分集合から他の候補キーの真部分集合への関数従属
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【イ】です。第3正規形（3NF）では、部分関数従属（候補キーの真部分集合から非キー属性への従属）および推移的関数従属（非キー属性から非キー属性への従属）が排除されていますが、候補キーの真部分集合から他の候補キーの真部分集合（主属性）への関数従属は許容されます（これを排除したものがBCNF）。
【詳細解説】■ 本問の核心・解法のポイント
各正規形において許容される、または排除される関数従属性の定義を正確に理解しているかが問われます。
・第1正規形（1NF）：すべての属性値が原子値（繰り返し属性を排除）。
・第2正規形（2NF）：1NFを満たし、すべての非キー属性が候補キーに完全関数従属（部分関数従属を排除）。
・第3正規形（3NF）：2NFを満たし、すべての非キー属性がどの候補キーにも推移的関数従属しない（非キー属性から非キー属性への従属を排除）。
・ボイス・コッド正規形（BCNF）：自明でないすべての関数従属 X → Y において、X がスーパーキーである状態。
・各選択肢の徹底解説：
・ア：繰り返し属性が存在する状態は非第1正規形であり、第3正規形には存在しません。
・イ：【選択肢イ★】候補キーの真部分集合から他の候補キーの真部分集合（主属性）への関数従属は、従属先が主属性であるため第2正規形や第3正規形の制約には反せず、第3正規形でも存在可能です。これを排除するとボイス・コッド正規形（BCNF）になります。
・ウ：候補キーの真部分集合から非キー属性への関数従属（部分関数従属）は、第2正規形にする段階で排除されます。
・エ：非キー属性から他の非キー属性への関数従属（推移的関数従属の原因）は、第3正規形にする段階で排除されます。
よって正解はイです。
