Более сильные требования накладывает на отношения вторая нормальная форма, или 2NF.
Это происходит потому, что определение второй нормальной
формы отношений предполагает, в отличие от первой нормальной формы,
наличие системы ограничений функциональных зависимостей.
Определение. Базовое отношение находится во второй нормальной форме
относительного заданного множества функциональных зависимостей тогда и
только тогда, когда оно находится в первой нормальной форме и, кроме
того, каждый неключевой атрибут полностью функционально зависит от
каждого ключа.
В этом определении неключевой атрибут – это любой атрибут отношения, не содержащийся в каком-либо первичном или кандидатном ключе отношения.
Полная функциональная зависимость от ключа предполагает отсутствие функциональной зависимости от какой-либо части этого ключа.
Таким образом, теперь при нормализации отношения мы
должны следить и за выполнением условий пребывания отношения в первой
нормальной форме, т. е. следить, чтобы его атрибуты были простыми и
однозначными, а также за выполнением второго условия, касающегося
ограничений функциональных зависимостей.
Ясно, что отношения с простыми ключами (первичными и
кандидатными) заведомо находятся во второй нормальной форме. Ведь в
таком случае, зависимость от части ключа просто не представляется
возможной, потому что никаких отдельных частей ключ банально не имеет.
Теперь, как и при прохождении предыдущей темы, рассмотрим пример ненормализованной схемы отношения и сам процесс нормализации.
Итак, вариант 1 схемы отношения:
Аудитории (№ корпуса, № аудитории, Площадь кв. м, № табельный коменданта корпуса);
Primary key (№ корпуса, № аудитории);
Кроме того, определена следующая система функциональной зависимости:
{№ корпуса} → {№ табельный коменданта корпуса};
Что мы видим? Все условия пребывания этого
отношения «Аудитории» в первой нормальной форме выполнены, ведь все до
единого атрибуты этого отношения однозначны и просты. Но то условие, что
каждый неключевой элемент должен полностью функционально зависеть от
ключа, не выполняется. Почему? Да потому, что атрибут «№ табельный
коменданта корпуса» функционально зависит не от составного ключа «№
корпуса, № аудитории», а от части этого ключа, т. е. от атрибута «№
корпуса». Действительно, ведь именно номер корпуса полностью определяет,
какой именно комендант к нему приписан, а, в свою очередь, ни от каких
номеров аудиторий табельный номер коменданта корпуса зависеть никак не
может.
Таким образом, основной задачей нашей нормализации
становится задача добиться того, чтобы ключи распределялись таким
образом, чтобы, в частности, атрибут «№ табельный коменданта корпуса»
полностью функционально зависел от всего ключа, а не от его какой-то
части.
Для того, чтобы этого добиться, придется снова, как и в
предыдущем параграфе, применить декомпозицию отношения. Итак, следующая
система отношений, представляющая собой вариант 2 отношения
«Аудитории», как раз и получилась из исходного отношения путем его
декомпозиции на несколько новых самостоятельных отношений:
Корпуса (№ корпуса, № табельный коменданта корпуса);
Primary key (№ корпуса);
Аудитории (№ корпуса, № аудитории, Площадь кв. м);
Primary key (№ корпуса, № аудитории);
Foreign key (№ корпуса) references Корпуса (№ корпуса);
Что мы видим теперь? В отношении «Корпуса»
неключевой атрибут «№ табельный коменданта корпуса» полностью
функционально зависит от первичного ключа «№ корпуса». Здесь условие
нахождения отношения во второй нормальной форме полностью выполнились.
Теперь перейдем к рассмотрению второго отношения –
«Аудитории». В отношении «Аудитории» атрибут первичного ключа «№
корпуса» является одновременно внешним ключом, ссылающемся на первичный
ключ отношения «Корпуса». В этом отношении неключевой атрибут «Площадь
кв. м» полностью зависит от всего составного первичного ключа «№
корпуса, № аудитории» и не зависит, даже не может зависеть ни от какой
из его частей.
Таким образом, путем декомпозиции исходного отношения,
мы пришли к тому, что все условия из определения второй нормальной формы
полностью выполнились.
В данном примере все требования функциональной
зависимости навязаны объявлением первичных ключей (кандидатных ключей
здесь нет) и внешних ключей. Поэтому дальнейшая нормализация не
требуется. |