зависимостей F, если каждая схема
(НФБК) относительно множества F- зависимостей F, если каждая схема отношения находится в НФБК относительно F.
НФБК включает в себя 3НФ [10].
отношения R находится в нормальной форме Бойса-Кодда
(НФБК) относительно множества F-зависимостей F, если для каждого подмножества Y из R и каждого атрибута из следует при F, т.е. если Y
нетривиально определяет произвольный атрибут из R, то Y
есть сверхключ R.
Для схемы отношения, не находящейся в НФБК, ложно всегда провести декомпозицию в схему базы данных в НФБК [10].
С одной стороны, НФБК в некотором смысле является более сильной, чем ЗНФ, а значит, более желательной. Но, с другой стороны, НФБК имеет свои проблемы [10]. Из предыдущего изложения следует, что при заданном множестве F-зависимостей над R можно найти схему базы данных в ЗНФ, полностью характеризующую F. Для НФБК это неверно. Множество F-зависимостей может не иметь полной НФБК схемы базы данных, кроме того, проверка свойства НФБК для заданной схемы базы данных является NP-полной задачей.