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

Функциональные зависимости между атрибутами. Взаимосвязи между атрибутами таблицы описываются с помощью функциональных зависимостей. Следовательно, для процедуры нормализации это понятие относится к числу наиболее важных.
Если в таблице R, содержащей атрибуты А и В, каждое значение атрибута А связано только с одним значением атрибута В, то атрибут В функционально зависит от атрибута А (это обозначается как АВ). Отметим, что каждый из символов А или В может обозначать целую группу атрибутов.
При наличии функциональной зависимости АВ атрибут (или группа атрибутов) А называется детерминантом атрибута (или группы атрибутов) В.
Первая нормальная форма (1НФ). Отношение находится в форме 1НФ, если на пересечении каждой строки и каждого столбца содержится одно и только одно значение соответствующего атрибута.
Описание процесса нормализации начнем с преобразования данных, содержащихся в первичных документах, в формат таблицы со строками и столбцами. На этом исходном этапе обычно получается ненормализованная таблица.
Для примера рассмотрим следующую таблицу с данными об объектах недвижимости, которые арендованы двумя клиентами.

clientNo

cName

propertyNo

pAddress

rentStart

rentFinish

rent

ownerNo

oName

Легко заметить, что у каждого клиента повторяются сведения об арендуемых объектах, т.е. повторяющаяся группа представляет собой следующий список атрибутов:

(propertyNo, pAddress, rentStart, rentFinish, rent, ownerNo, oName). Из-за наличия этой повторяющейся группы в некоторых клетках таблицы содержится сразу несколько значений для отдельных атрибутов. Например, при clientNo=CR76 атрибуту propertyNo соответствуют два значения — PG4 и PG16.
Чтобы устранить это отклонение от требований 1НФ, в каждую строку с описанием объекта недвижимости добавляются соответствующие сведения о клиенте. В результате будет получена первая форма 1НФ для таблицы ClientRental. Эта таблица характеризуется значительной избыточностью данных, что порождает аномалии обновления. Например, изменение арендной платы для одного из объектов недвижимости потребует обновления нескольких строк.