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