Изменения
→Иерархия нормальных форм
=== Иерархия нормальных форм ===
*[[Нормальные_формы:_первая_и_вторая#Первая_нормальная_форма|1НФ]]- необходимо проверить отношение на наличие повторяющихся групп атрибутов и не атомарных атрибутов*[[Нормальные_формы:_первая_и_вторая#Вторая_нормальная_форма|2НФ]]- находим все функциональные зависимости, у которых левая часть является подключом и декомпозируем по ним
*[[Нормальные формы:_третья_и_Бойса-Кодда#Третья_нормальная_форма|3 НФ]]
*[[Нормальные формы:_третья_и_Бойса-Кодда#Третья_нормальная_форма|НФБК]]: - если все еще есть функциональные зависимости, у которых в левой части не надключ. При этом могут пропасть некоторые фунциональные зависимости. Лучшая для нормальная форма, которую можем получить на базе ФЗ*[[Многозначные_зависимости_и_четвертая_нормальная_форма|4НФ]]: - находим множественные зависимости. При наличии нетривиальных МЗ декомпозируем. Лучшая нормальная форма для декомпозиции на два отношения*[[Зависимости_соединения_и_пятая_нормальная_форма#Пятая_нормальная_форма_(Проекционно-соединительная)| 5НФ]]: - находим зависимости соединения. Если находим, то снова декомпозируем. Лучшая нормальная форма для декомпозиции
=== Теоремы Дейта-Фейгина ===