私はいくつかの BCNF 分解演習を試みましたが、大規模な非 BCNF 関係の分解された BCNF 関係のセットが固定されていないことに気付きました。それは私が分解するために使用する方法に依存します。
たとえば、 BCNF に分解して BCNF を満たすR(A,B,C,D)
ことができますが、BCNF に分解しR1(A,B,C)
てBCNF を満たすR2(C,D)
こともできます。R1(B,C,D)
R2(A,C)
本当に修正されていないのでしょうか、それとも分解プロセスで間違いを犯したのでしょうか?
ありがとう。