Специфическое разложение BCNF
Я пытаюсь сделать разложение BCNF следующего отношения:
R(A,B,C,D,E,F)
с функциональными зависимостями:
A -> DF
B -> AC
F -> E
Я получаю суперключ к B, и, следуя алгоритму декомпозиции для BCNF, получаю следующую декомпозицию:
R1{ADF}, R2{ABC} R3{FE}
Тем не менее, я подозреваю, что R3 не является правильным. Может кто-нибудь объяснить, почему и где моя ошибка?