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