第3正規形（3NF）の定義と許容される関数従属性に関する問題です。 関係 $R$ が第3正規形であるとは、非自明な関数従属 $X \rightarrow Y$ が存在する任意のケースにおいて、以下のいずれかが成り立つ状態を指します。 $X$ が $R$ の超キー（Super Key）であること。 $Y$ の各属性が $R$ のいずれかの候補キーに含まれる属性（主属性／キー属性）であること。 選択肢 イ の「候補キーの真部分集合から他の候補キーの真部分集合への関数従属」は、従属先 $Y$ が候補キーの一部（主属性）であるため、第3正規形の条件を満たします（この従属が存在する場合、3NFではあってもボイス・コッド正規形 BCNF にはなりません）。したがって、イ が正解です。 繰返し属性が存在する関係は非第1正規形であり、第3正規形には存在しません。 候補キーの真部分集合から非キー属性への関数従属は「部分関数従属」であり、第2正規形（2NF）の段階で排除されます。 非キー属性から他の非キー属性への関数従属は「推移的関数従属」であり、第3正規形（3NF）の段階で排除されます。