主キーとして AB を持つスキーマ S=(A,B,C,D) を考えてみましょう。次の機能依存関係 (FD) が保持されます: AB --> C、AB --> D、BC --> D。次の分解はボイス-コッド正規形 (BCNF) ですか? S1=(A,B,D) & S2=(B,C,D)
おそらく何かを見逃している試みられた答え：指定されたFDを使用すると、S1でキーはABです。S2 のキーは BC です。S1 には FD AB-->D が含まれており、その左側にはそのキー AB が含まれています。S2 には FD BC-->D が含まれており、その左側にはそのキー BC が含まれています。したがって、分解は BCNF にあるようです。
ただし、BCNF 分解は無損失であることがわかっていますが、これはそうではありません。共通の属性は {B,D} であり、その閉鎖は依然として {B,D} です。
ではバグはどこにあるのでしょうか？