Реляционная модель данных

Вторая нормальная форма (2НФ) основана на понятиях полной и частичной функциональной зависимости. Функциональная зависимость АВ является полной, если удаление какой-либо части из составного атрибута А приводит к утрате этой зависимости. Если же в этом случае рассматриваемая функциональная зависимость будет сохранена, то она называется частичной.
Вторая нормальная форма (2НФ) соответствует отношению, которое находится в форме 1НФ, а также характеризуется тем, что каждый атрибут, не входящий в состав первичного ключа, функционально полно зависит от этого ключа.
Проверка требований 2НФ необходима только для таблиц с составными ключами, поскольку в случае простого первичного ключа таблица в форме 1НФ одновременно находится и в форме 2НФ.
Нормализация отношений 1НФ с приведением к форме 2НФ предусматривает устранение частичных зависимостей. С этой целью атрибуты, для которых существует частичная функциональная зависимость, удаляются из таблицы и помещаются в новую таблицу вместе с копией их детерминанта.
Рассмотрим таблицу ClientRental, в которой первичный ключ состоит из атрибутов (clientNo, propertyNo). Нетрудно заметить, что в этой таблице присутствуют следующие частичные зависимости от атрибутов, входящих в состав первичного ключа:
clientNo  cName и propertyNo  pAddress, rent, ownerNo, oName. В то же время, зависимость (clientNo, propertyNo)  rentStart, rentFinish является функционально полной.
Для преобразования таблицы ClientRental в форму 2НФ необходимо создать новые таблицы, причем сделать это так, чтобы атрибуты, не входящие в первичный ключ, были перемещены в них вместе с копией той части первичного ключа, от которой они функционально зависят. Выполнение этой процедуры приводит к появлению следующих таблиц:

• 
  Client (clientNo, cName);
  
• 
  Rental (clientNo, propertyNo, rentStart, rentFinish);
  
• 
  PropertyOwner (propertyNo, pAddress, rent, ownerNo, oName).
  

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