Нормальная форма Бойса-Кодда

Определение 2.5

Возможный ключ представляет собой атрибут или набор атрибутов, который может быть использован для данного отношения в качестве первичного ключа.

Первичный ключ всегда является возможным ключом, однако не исключено наличие других возможных ключей.

Определение 2.6

Если есть функциональная зависимость и не зависит функционально от любого подмножества , то говорят, что представляет собой детерминант .

Определение 2.7

Говорят, что отношение находится в нормальной форме Бойса-Кодда (НФБК) тогда и только тогда, когда каждый детерминант отношения является возможным ключом.