Третья нормальная форма

Имевшиеся ранее трудности были связаны с наличием транзитивной FD СЛУ_НОМ®СЛУ_ЗАРП. Наличие этой FD на самом деле означало, что атрибут СЛУ_ЗАРПхарактеризовал не сущность служащий, а сущность разряд.

Определение 7.2. Третья нормальная форма

Переменная отношения находится в третьей нормальной форме (3NF) в том и только в том случае, когда она находится во второй нормальной форме, и каждый неключевой атрибут нетранзитивно* функционально зависит от первичного ключа.** Конец определения.

Отношения СЛУЖ1и УРОВоба находятся в 3NF (все неключевые атрибуты нетранзитивно зависят от первичных ключей СЛУ_НОМи СЛУ_УРОВ). Отношение СЛУЖне находится в 3NF (FD СЛУ_НОМ®СЛУ_ЗАРП является транзитивной). Любое отношение, находящееся в 2NF, но не находящееся в 3NF, может быть приведено к набору отношений, находящихся в 3NF. Мы получаем набор проекций исходного отношения, естественное соединение которых воспроизводит исходное отношение (т.е. это декомпозиция без потерь). Для отношений СЛУЖ1и УРОВ исходное отношение СЛУЖвоспроизводится их естественным соединением по общему атрибуту СЛУ_УРОВ.

Заметим, что допустимые значения отношения УРОВмогут содержать кортежи, информационное наполнение которых выходит за пределы тела отношения СЛУЖ. Например, в теле отношения УРОВможет находиться кортеж с данными о разряде 4, который еще не присвоен ни одному служащему. Наличие такого кортежа не влияет на результат естественного соединения, который все равно будет являться допустимым значением отношения СЛУЖ.