Итак, у меня есть отношение R(A,B,C,D)
, где AB
- мой ключ, и мне нужно выяснить, какая функциональная зависимость должна быть истинной, чтобы это отношение было в форме BCNF
.Так вот моя мысль.Ключ AB означает, что AB->CD
.Теперь, чтобы быть в форме BCNF, левая часть всех нетривиальных функциональных зависимостей должна быть суперключейкой справа.Ну, я видел, что кто-то поставил A->C
и B->D
должно быть верно, чтобы это отношение было в BCNF.Ну, это не имеет смысла для меня, что вызывает частичную зависимость, верно?Так не было бы даже в 2НФ?