Вторая нормальная форма (; сокращённо 2NF) — одна из возможных нормальных форм отношения в реляционной базе данных.
Определение Переменная отношения находится во второй нормальной форме тогда и только тогда, когда она находится в первой нормальной форме и каждый неключевой атрибут неприводимо зависит от (каждого) её потенциального ключа.
Неприводимость означает, что в составе потенциального ключа отсутствует меньшее подмножество атрибутов, от которого можно также вывести данную функциональную зависимость. Для неприводимой функциональной зависимости часто используется эквивалентное понятие «полная функциональная зависимость».
Если потенциальный ключ является простым, то есть состоит из единственного атрибута, то любая функциональная зависимость от него является неприводимой (полной). Если потенциальный ключ является составным, то, согласно определению второй нормальной формы, в отношении не должно быть неключевых атрибутов, зависящих от части составного потенциального ключа.
Пример Пример приведения отношения ко второй нормальной форме
Пусть в следующем отношении первичный ключ образует пара атрибутов {Филиал компании, Должность}:
+ RФилиал компанииДолжностьЗарплатаНаличие компьютераФилиал в ТомскеУборщик20000НетФилиал в МосквеПрограммист40000ЕстьФилиал в ТомскеПрограммист25000Есть
Допустим, что зарплата зависит от филиала и должности, а наличие компьютера зависит только от должности.
Существует функциональная зависимость Должность → Наличие компьютера, в которой левая часть (детерминант) является лишь частью первичного ключа, что нарушает условие второй нормальной формы.
Для приведения к 2NF исходное отношение следует декомпозировать на два отношения:
+ R1Филиал компанииДолжностьЗарплатаФилиал в ТомскеУборщик20000Филиал в ТомскеПрограммист25000Филиал в МосквеПрограммист40000 + R2ДолжностьНаличие компьютераУборщикНетПрограммистЕсть
Примечания
Литература На русском языке
Переводная
На английском языке
Категория:Реляционная модель данных Категория:Теоретические основы баз данных