Введение

Термин в нормализации баз данных. Вторая нормальная форма (2НФ) в нормализации баз данных – это нормальная форма, которой таблица удовлетворяет, если каждый атрибут, не входящий в состав первичного ключа, зависит от всех его частей. Более формально, отношение находится во второй нормальной форме, если оно соответствует следующим двум требованиям:
1. Оно находится в первой нормальной форме.
2. В отношении отсутствует неключевой атрибут, функционально зависящий от какого-либо собственного подмножества любого ключа-кандидата (то есть отсутствуют частичные зависимости). Неключевой атрибут – это атрибут, не входящий в состав ни одного ключа-кандидата. Проще говоря, отношение (или таблица) находится в 2НФ, если:
* Оно находится в 1НФ и имеет уникальный идентификатор, состоящий из одного атрибута (UID), в этом случае каждый неключевой атрибут зависит от всего UID.
* Или оно находится в 1НФ и имеет составной уникальный идентификатор, и каждый обычный атрибут (не входящий в состав UID) зависит от всех атрибутов в составном UID, а не только от одного атрибута (или его части). Если какие-либо обычные (неключевые) атрибуты определяются (зависят) от другого (неключевого) атрибута, это решается в третьей нормальной форме.

История

Вторая нормальная форма была первоначально определена Э. Ф. Коддом в 1971 году.

2NF и ключи-кандидаты

Функциональная зависимость от собственного подмножества любого ключа-кандидата (UID) является нарушением 2NF. Помимо первичного ключа, отношение может содержать и другие ключи-кандидаты; необходимо убедиться, что никакие неключевые атрибуты (обычные / не-UID атрибуты) не имеют частичной зависимости от ключа (то есть зависят от любого из этих ключей-кандидатов / UID). Иными словами, если какие-либо обычные атрибуты (не-UID атрибуты) могут быть определены по одному атрибуту UID (или его части), то отношение не находится в 2NF.

Распад 1NF на 2NF

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