Процесс нормализации и другие нормальные формы

Материал из Викиконспекты
Версия от 22:17, 8 декабря 2021; 95.55.29.108 (обсуждение) (Новая страница: «=== Иерархия нормальных форм === *Нормальные_формы:_первая_и_вторая#Первая_нормальная_форм…»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Иерархия нормальных форм

  • 1НФ
  • 2НФ
  • 3 НФ
  • НФБК: Лучшая для ФЗ
  • 4НФ: Лучшая для декомпозиции на два отношения
  • 5НФ: Лучшая для декомпозиции

Теоремы Дейта-Фейгина

Теорема:
Теорема Дейта-Фейгина 1. Если отношение находится в 3НФ и все ключи простые, то отношение находится в 5НФ.
Теорема:
Теорема Дейта-Фейгина 2. Если отношение находится в НФБК и существует простой ключ, то отношение находится в 4НФ.

Процесс нормализации

  • 1НФ
  • НФБК. Если приведение к НФБК разрушает полезные нам функциональные зависимости, то останавливаемся на 3НФ.
  • 4 НФ
  • 5 НФ, если находим нетривиальные зависимости соединения

Обычно при грамотном построении модели сущность-связь полученное отношение будет находиться как минимум в 3НФ.

Доменно-ключевая нормальная форма

Определение:
В доменно-ключевой нормальной форме все ограничения являются следствием ограничения доменов и ключей. Где ограничение домена – тип атрибута, ограничение ключа – множество атрибутов, являющихся ключом.

Формально, ДКНФ - это та форма, к которой хотим в итоге привести отношение, так как база данных умеет эффективно проверять ограничения ключей, а также ограничения доменов - что мы не можем записать значения несоответствующего типа атрибута.

Теорема:
Доменно-ключевая нормальная форма является более строгой, чем пятая нормальная форма. (Фейгин)
Утверждение:
ДКНФ не достижима инкрементально.