Нормальные формы: третья и Бойса-Кодда

Третья нормальная форма

Требования

• Вторая нормальная форма
• Неключевые атрибуты не транзитивно зависят от ключа

Приведение к 3НФ: декомпозиция по последней функциональной зависимости в транзитивной цепочке.

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

Требования

• В каждой нетривиальной функциональной зависимости X -> Y, X является надключом.

Исключается ситуация, когда существует зависимость неключевого атрибута не только от ключа, но и от каких-то других неключевых атрибутов.

НФБК сильнее 3НФ. Приводится из 3НФ декомпозицией по мешающим атрибутам, если это возможно (например, нельзя выбросить часть ключа, которая функционально зависит от неключевого атрибута).

Особенности: распадение функциональных зависимостей на части, находящиеся в разных отношениях.

НФБК — совершенная нормальная форма, если учитывать функциональные, но не множественные зависимости.