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

Материал из Викиконспекты
Перейти к: навигация, поиск

Третья нормальная форма[править]

Требования

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

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

Нормальная форма Бойса-Кодда[править]

Требования

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

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

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

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

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