Создание диаграммы «сущность-связь»

С целью получения наглядного представления основных сущностей и связей, определенных в спецификациях для пользователя Менеджер, мы рисуем ER-диаграмму (рис. 2.7.). Эта ER-диаграмма и подготовленная на этапе 2 документация (в совокупности) представляют собой локальную концептуальную модель данных для пользователя Менеджер приложения Реалтэкс.

Рис. 2.8 Локальная концептуальная модель данных для пользователя Менеджер приложения Реалтэкс.

Обсуждение локальной концептуальной модели с пользователем

Прежде чем завершить выполнение первого этапа разработки базы данных, необходимо обсудить созданные локальные концептуальные модели с пользователями. При обнаружении каких-либо ошибок следует внести в проект соответствующие изменения, для чего потребуется вернуться к выполнению предыдущих этапов. Этот цикл должен продолжаться до тех пор, пока каждый пользователь не согласится с тем, что предложенный ему проект верно отражает его представление о работе компан…

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

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

Первой нормальной формой (1НФ) называется отношение, в котором на пересечении каждой строки и каждого столбца располагается одно и только одно значение.

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

Третьей нормальной формой (3НФ) называется отношение, которое находится в 2НФ, причем в нем нет атрибутов, не входящих в первичный ключ, которые транзитивно зависят от этого первичного ключа. Транзитивная зависимость означает следующее: если А, В и С — три атрибута одного отношения и С зависит от В, а В от А, то говорят, что С транзитивно зависит от А.

Нормальной формой Бойса-Кодда (НФБК) называется отношение, в котором каждый детерминант является потенциальным ключом. Детерминантом называется любой атрибут, от которого полностью функционально зависит какой-то другой атрибут.

Четвертой нормальной формой (4НФ) называется отношение, которое находится в НФБК и не содержит нетривиальных многозначных зависимостей. В случае многозначной зависимости, существующей между атрибутами А, В и С некоторого отношения, для каждого значения, А имеется набор значений атрибута В и набор значений атрибута С. Однако входящие в эти наборы значения атрибутов В и С не зависят друг от друга.

Пятой нормальной формой (5НФ) называется отношение, которое не содержит зависимостей соединения. Зависимость соединения — это такая ситуация при которой декомпозиция отношений может сопровождаться генерацией ложных строк при обратном соединении декомпозированных отношений посредством операции естественного соединения.

Чтобы убедиться, что каждое из отношений, описанных в п. 3.2, находится как минимум в нормальной форме Бойса-Кодда (НФБК), мы проанализируем функциональные зависимости между этими отношениями. Если будет обнаружено отношение, которое не представлено в НФБК, это может означать, что-либо созданная логическая модель структурно неверна, либо при определении на ее основе полного набора отношений была допущена ошибка. В любом случае потребуется вернуться к предыдущему этапу и внести необходимые изменения.

Приведенные здесь примеры описания отношений на языке DLBL не включает ссылки на атрибуты внешних ключей.

Otdel (Otdel_№, Otdel_Imya, Tel_№, Fax_№)

Primary Key Otdel_№

Alternate Key Tel_№

Otdel_№ Otdel_Imya, Tel_№, Fax_№

Tel_№ Otdel_№, Otdel_Imya, Fax_№

Rabotnik (Rab_№, Imya, Familiya, Adres, Tel_№, Pol, DR, Dolzhnost, Skorost_Pechati, Otdel_№).

Primary Key Rab_№

Rab_№ Imya, Familiya, Adres, Tel_№, Pol, DR, Dolzhnost, Skorost_Pechati, Otdel_№

Object (Object_№, Tip, S, Komnaty, Cena, Rayon, Ulica, Dom, Kv, Otdel_№, Vladelec_№).

Primary Key Object_№

Object_№ Tip, S, Komnaty, Cena, Rayon, Ulica, Dom, Kv, Otdel_№, Vladelec

Dogovor (Dogovor_№, Data_Dogovor, Cena, Avans, Data_Avans, Data_Okonchanie, Okonchanie, Object_№, Rab_№, Klient_№)

Primary Key Dogovor_№

Dogovor_№ Data_Dogovor, Cena, Avans, Data_Avans, Data_Okonchanie, Okonchanie, Object_№, Rab_№, Klient_№

Object_№ Cena

При анализе функциональной зависимости Dogovor выясняется, что имеет место транзитивная зависимость вида Object_№ Cena для первичного ключа Dogovor_№ этого отношения. Подобная зависимость является нарушением третьей нормальной формы (ЗНФ) и, следовательно, должна быть удалена из отношения Dogovor. Однако нет необходимости создавать отдельное отношение для представления этой функциональной зависимости, поскольку она уже представлена в отношении Object. Кроме того, удаление этой аномалии не потребует изменения ER-диаграммы, достаточно будет просто внести соответствующие изменения в документацию.