IPA公式正解:ウ 第 3 正規形までは,情報無損失でかつ関数従属性保存の分解ができる。
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【ウ】です。第3正規形までは、常に情報無損失分解かつ関数従属性保存の分解が可能です。ボイス・コッド正規形(BCNF)以上では、情報無損失分解は可能ですが関数従属性が保存されない場合があります。
【詳細解説】■ 本問の核心・解法のポイント
関係データベースの正規化における「情報無損失分解(無損失結合分解)」と「関数従属性の保存」に関する理論的性質を問う問題です。
・第3正規形(3NF)までは、常に情報無損失かつ関数従属性を保存する分解が可能です。
・ボイス・コッド正規形(BCNF)以降では、常に情報無損失分解は可能ですが、関数従属性が保存されないケースが存在します。
・各選択肢の徹底解説:
・ア:BCNF以降への分解では、関数従属性が保存されない場合があるため誤りです。
・イ:一般に正規化は情報無損失分解で行われますが、無制約な分解すべてが無損失とは限らず、また問題文の文脈として正規化理論の定理を正しく述べているウが適切です。
・ウ:【選択肢ウ★】関係代数・正規化理論において、「任意の第1正規形は、情報無損失かつ関数従属性保存を満たしながら第3正規形に分解できる」ことが証明されています。したがって適切です。
・エ:第4正規形は多値従属性、第5正規形は結合従属性を対象としています。第4正規形から第5正規形への分解は、非自明な結合従属性に基づく分解であるため誤りです。
よって正解はウです。