Изменения

Отношение находится в '''нормальной форме Бойса-Кодда''' (НФБК) тогда и только тогда, когда для любой нетривиальной функциональной зависимости <tex>X \rightarrow Y</tex>, <tex>X</tex> является надключом.

Нормальная форма Бойса-Кодда исправляет аномалии, возникающие из-за перекрывающихся ключей. В частности, если отношение {{Утверждение|statement=Отношение в НФБК находится в 3НФ |proof=* выполнены все условия 1НФ (имеется ключ, а корректные ФЗ обеспечивают отсутствие повторяющихся и неатомарных атрибутов)* выполнено условие 2НФ (так как в нем левых частях ФЗ только надключи, нет перекрывающихся ключейатрибутов, оно автоматически находится зависящих от части ключа)* выполнено условие 3НФ (так как в НФБК.левых частях ФЗ только надключи, нет атрибутов, зависящих от неключевых атрибутов)}}

Нормальная форма Бойса-Кодда исправляет аномалии, возникающие из-за перекрывающихся ключей. В частности, если отношение находится в 3НФ и в нем нет перекрывающихся ключей, оно автоматически находится в НФБК. Поскольку, опираясь только на функциональные зависимости, нельзя потребовать более сильное условие, чем надключ в левой части каждой ФЗ, то НФБК &ndash; &laquo;совершенная&raquo; НФ с точки зрения только функциональных зависимостей.