Отношение находится в некоторой нормальной форме,
если оно удовлетворяет заданному набору условий.
Процесс нормализации был впервые предложен Коддом. Сначала
были предложены только три нормальные формы: первая (1НФ),
вторая (2НФ) и третья (3НФ). Затем Бойс и Кодд сформулировали
более строгое определение 3НФ, которое получило название нормальной формы Бойса–Кодда (НФБК).
Все эти нормальные формы
основаны на функциональных зависимостях, существующих меду
атрибутами отношения.
Вслед за НФБК Fagin привел определения четвертой (4НФ) и пятой (5НФ) нормальных форм. Однако на практике эти нормальные формы более высоких порядков используются крайне редко.
1НФ
Отношение находится в 1НФ тогда и только тогда, когда все используемые домены содержат только скалярные (ато- марные, простые) значения.
2НФ
Отношение находится в 2НФ тогда и только тогда,
когда оно находится в 1НФ и каждый его неключевой атрибут
функционально полно зависит от любого возможного ключа
этого отношения.
Примечание: если при проектировании базы данных используется модель
«сущность–связь» в нотации IDEF1x, тогда 2НФ достигается при
соответствующем выборе независимых сущностей, а также при раз-
решении связей типа «многие-ко-многим». Так, в данном примере
ПОСТАВКУ можно рассматривать как неопределенную связь между
сущностями ПОСТАВЩИК и ТОВАР: один поставщик поставляет
нуль или более товаров, один товар поставляется нулем или более
поставщиков
3НФ
Отношение находится в 3НФ тогда и только тогда, когда оно находится в 2НФ и каждый его не ключевой атрибут не транзитивно зависит от ключа.
