Я попробовал несколько упражнений по декомпозиции BCNF и заметил, что набор декомпозированных отношений BCNF большого отношения, не относящегося к BCNF, не является фиксированным. Это зависит от метода, который я использую для разложения.
Например, R(A,B,C,D) можно разложить на R1(A,B,C) и R2(C,D), чтобы удовлетворить НФБК, но также можно разложить на R1(B,C,D) и R2(A,C), чтобы удовлетворить НФБК.
Действительно ли это не исправлено, или я, вероятно, допустил некоторые ошибки в процессе декомпозиции?
Спасибо.
