В Википедии определение BCNF выглядит следующим образом.
Реляционная схема R находится в нормальной форме Бойса-Кодда тогда и только тогда, когда для каждой из ее зависимостей X → Y выполняется хотя бы одно из следующих условий:
X → Y — тривиальная функциональная зависимость (Y ⊆ X)
X является суперключом для схемы R
Мне интересно, почему он определяется как «Суперключ», а не как «минимальный суперключ».
Рассмотрим схему отношения R(A,B,C,D,E), пусть (A,B) будет ключом (его минимальным). Тогда выполняется AB->CDE (также отсутствуют другие нетривиальные функциональные зависимости согласно определению схемы в данном конкретном примере). Также (A,B,C) является суперключом. ABC->DE также выполняется, но это тривиально. Я сомневаюсь, что если мы укажем только условие для минимального суперключа, условие для суперключа уже подразумевается, не так ли? Во всех примерах BCNF, которые я делал, чтобы проверить, находится ли схема в BCNF. Если LHS всех присутствующих нетривиальных функциональных зависимостей является «ключом». Затем схема находится в BCNF. Если он удерживается для ключа, то это верно для всех суперключей, основанных на этом ключе, не так ли?