Что такое форма Бойса-Кодда (BCNF) в нормализации данных?

Форма Бойса–Кодда – более строгая версия 3NF. Требование BCNF: каждый детерминант функциональной зависимости должен быть ключом. Иными словами, если в таблице неключевой столбец зависит от какого-то набора столбцов X, то X должен быть суперключом (определять всю строку). BCNF устраняет некоторые зависимости, которые допускаются в 3NF (когда уникальность поддерживается не только PK). Обычно, если таблица нарушает BCNF, ее дополнительно декомпозируют. БД в BCNF не имеет избыточных зависимостей – это практически идеал нормализации, хотя в некоторых случаях приводит к неудобству запросов или необходимости больше JOIN.