平成30年度 春期 午前Ⅱ 問4

✓ これが正解イ推移的関数従属性が存在しない。

解説

第2正規形に、推移的関数従属がないことが加わると第3正規形です。

正規形は段階を追って条件が足されていきます。見分ける軸は、それぞれの条件がどの段階のものかです。第1正規形は、属性の値が分けられない単一の値であること、第2正規形はそれに加えて、非キー属性が候補キーの一部に従属する部分関数従属がないことです。第3正規形は、さらに、非キー属性が他の非キー属性を経由して候補キーに従属する推移的関数従属がないことを求めます。設問の関係Rはすでに第2正規形なので、残る条件は推移的関数従属が存在しないことです。第1は値の単一性、第2は部分、第3は推移、と段階ごとに一語で並べて覚えると取り違えません。

ほかの選択肢はなぜ違うのか

• アいかなる部分従属性も成立しない。：いかなる部分従属性も成立しないことは、第2正規形の条件です。関係Rはすでに第2正規形なので、この条件はもう満たされており、第3正規形になるために新たに加わる条件ではありません。
• ウ属性の定義域が原子定義域である。：属性の定義域が原子定義域である、つまり値がそれ以上分けられないことは、第1正規形の条件です。第2正規形の関係Rはこれをすでに満たしているので、第3正規形を分ける条件にはなりません。
• エ任意の関数従属A→Bに関して，Bは非キー…：従属される側が非キー属性であるというだけでは、非キー属性から別の非キー属性への従属を排除できません。キーから非キー属性Xを経て非キー属性Yが決まる推移的な従属も、この条件では許されてしまいます。