IPA公式正解:ア 第2正規形から第3正規形への変換
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【ア】です。第2正規形から第3正規形への変換(推移的関数従属性の排除)は、常に情報無損失分解かつ関数従属性保存(FD保存)を満たす分解が存在することが理論的に証明されています。
【詳細解説】■ 本問の核心・解法のポイント
関係データベースの正規化理論において、ある正規形への分解が「情報無損失分解(無損失結合分解)」と「関数従属性保存(FD保存)」の両方を必ず達成できるかどうかが問われています。
第3正規形(3NF)へは、任意の第2正規形(あるいは第1正規形)から「情報無損失」かつ「関数従属性保存」を満たす分解アルゴリズム(Bernsteinの合成法など)が必ず存在します。一方、ボイス・コッド正規形(BCNF)や第4正規形(4NF)への分解では、情報無損失分解は可能ですが、関数従属性保存が成り立たないケースが存在します。
・各選択肢の徹底解説:
・【選択肢ア★】:第2正規形から第3正規形への変換は、情報無損失分解と関数従属性保存を同時に満たす分解が必ず存在します。
・イ:第3正規形からボイス・コッド正規形への分解では、情報無損失分解は常に可能ですが、関数従属性が保存されない場合があります(例:複合キーの一部が決定項となる場合)。
・ウ:非正規形から第1正規形への変換は、繰り返し項目を展開して原子値に平坦化する操作であり、テーブルの分解(結合による復元)とは概念が異なります。
・エ:第4正規形への分解は多値従属性(MVD)を排除する分解であり、多値従属性に関する無損失分解(Faginの定理)は可能ですが、関数従属性の保存が必ず成り立つわけではありません。
よって正解はアです。