R = (J,K,L,M,N) с набором функциональных зависимостей {J->KL,LM->N,K->M,N->J}.
Я понимаю определение BCNF. Я считаю, что не существует тривиальных функциональных зависимостей и не может быть суперключа. Я не уверен насчет второй части. Как бы вы определили суперключ по буквам? Был бы признателен за некоторые советы по этому поводу.
Отношение было бы в нормальной форме Бойса-Кодда (BCNF), если замыкание левых атрибутов для всех функциональных зависимостей содержит все атрибуты отношения (J, K, L, M, N). Другими словами, левые атрибуты каждой функциональной зависимости содержат ключ.
Давайте проанализируем ваши функциональные зависимости:
J -> KL. Затем K -> M, затем LM -> N и N -> J. Итак, J ->
KL удовлетворяет BCNF.LM -> N. Потом N -> J, потом J -> KL и все, у нас есть все атрибуты.K -> M. Эта функциональная зависимость, очевидно, является нарушением BCNF, потому что мы не можем получить больше атрибутов из набора зависимостей.N -> J. Затем J -> KL и K -> M. Он удовлетворяет BCNF.Итак, третья зависимость нарушает BCNF, а атрибут K не является самим ключом.
