Нормальные формы: третья и Бойса-Кодда
Третья нормальная форма
Требования
- Вторая нормальная форма
- Неключевые атрибуты не транзитивно зависят от ключа
Приведение к 3НФ: декомпозиция по последней функциональной зависимости в транзитивной цепочке.
Нормальная форма Бойса-Кодда
Требования
- В каждой нетривиальной функциональной зависимости X -> Y, X является надключом.
Исключается ситуация, когда существует зависимость неключевого атрибута не только от ключа, но и от каких-то других неключевых атрибутов.
НФБК сильнее 3НФ. Приводится из 3НФ декомпозицией по мешающим атрибутам, если это возможно (например, нельзя выбросить часть ключа, которая функционально зависит от неключевого атрибута).
Особенности: распадение функциональных зависимостей на части, находящиеся в разных отношениях.
НФБК — совершенная нормальная форма, если учитывать функциональные, но не множественные зависимости.