平成21年度 春期 午前Ⅱ 問5

✓ これが正解エ[ a | b | d ]　[ b | c ]　[ b | d | e ]

解説

キー a の表、b→c の表、{b，d}→e の表の三つに分けます。

関係 a～e のキーは a です。a から b、c、d が決まり、b と d がそろえば e も決まるので、a だけで全属性を決められます。キーが a 一つなので部分関数従属は起きず、問題になるのは推移的な従属です。a→b→c のように、キー以外の属性 b を経て c が決まる従属と、b と d の組を経て e が決まる従属があります。第 3 正規形にするには、これらを別の表に切り出します。b→c を表 [ b | c ] に、{b，d}→e を表 [ b | d | e ] に移し、残りを [ a | b | d ] とした分け方が正解です。キー以外の属性が決定する側になっている従属を探し、その左辺を主キーとする表へ外に出すと覚えると判断しやすくなります。

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

• ア[ a | b | c | d ] [ …：[ a | b | c | d ] の中に a→b と b→c が同居しているので、c が b を経て a に推移的に従属したまま残ります。同じ b の行が並ぶたびに c も繰り返し記録されるため、第 3 正規形にはなっていません。
• イ[ a | b | c | d ] [ …：b→c の表を切り出してはいますが、元の [ a | b | c | d ] にも c を残しています。c が二か所に重複して記録されるうえ、最初の表には b を経た推移的な従属がそのまま残るので、第 3 正規形の条件を満たしません。
• ウ[ a | b | d ] [ b | …：[ b | d | c | e ] は主キーが b と d の組ですが、c は b だけで決まります。主キーの一部だけに従属する部分関数従属が残るので、第 2 正規形の段階で分解が終わっていない形です。