Что лежит в основе нормальной формы Бойса-Кодда

Нормальная форма Бойса-Кодда (BCNF) — это усиленная версия 3NF, устраняющая аномалии, связанные с зависимостями между ключевыми и неключевыми атрибутами.

Условия BCNF:

1. Таблица уже находится в 3NF.
2. Для каждой функциональной зависимости X → Y левая часть (X) должна быть суперключом (содержать первичный ключ).

Пример нарушения BCNF:

Студент (ID, Курс, Преподаватель)

Если Преподаватель зависит от Курс, но Курс не суперключ — это нарушение BCNF.

Исправление:
Разделить таблицу:

Студент_Курс (ID, Курс)  
Курс_Преподаватель (Курс, Преподаватель)  

Теперь все зависимости удовлетворяют BCNF.