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