4.4.1. Правила для отношений категоризации.
1) Сущность-категория может иметь только одну общую сущность. Т.е. она может входить
в набор категорий только для одного кластера категорий.
Сущность-категория в одном отношении категоризации может быть общей сущностью для другого отношения категоризации.
Может существовать любое количество кластеров категорий, в которых сущность выступает в качестве общей сущности.
Все экземпляры сущности-категории имеют одинаковое значение дискриминатора, и все экземпляры различных сущностей-категорий должны иметь различные значения дискриминатора.
Ни одна сущность не может быть своей собственной общей сущностью, т.е. ни одна сущность не может иметь саму себя в качестве сущности-родителя в отношении категоризации или участвовать в каком-нибудь наборе отношений категоризации, образующих цикл.
Два кластера категорий одной общей сущности не могут иметь одинаковый дискриминатор.
7) Дискриминатор полного кластера категорий не может быть необязательным атрибутом. Полностью правила для отношений категоризации приведены в Приложении 3.
4.5. Неопределенное отношение.
И отношение родитель-потомок, и отношения категоризации считаются определенными отношениями, потому что они точно определяют, как экземпляры одной сущности связаны с экземплярами другой сущности. Однако довольно часто на начальном
этапе создания модели полезно идентифицировать неопределенные отношения между сущностями. Неопределенные отношения используются для представления связей между сущностями типа «многие-ко-многим». Эти неопределенные отношения должны быть впоследствии заменены определенными.
Пример неопределенного отношения: если служащий может выполнять несколько проектов и один проект может выполняться несколькими служащими, то между сущностями СЛУЖАЩИЙ и ПРОЕКТ существует неопределенное отношение.
Рис. IV 1. Преобразование неопределенного отношения в два определенных
отношения связи.
Это неопределенное отношение может быть позднее заменено двумя определенными отношениями с помощью добавления третьей сущности НАЗНАЧЕНИЕ_ПРОЕКТА. Убираем неопределенное отношение между сущностями СЛУЖАЩИЙ и ПРОЕКТ и вводим два новых определенных отношения связи: между сущностями СЛУЖАЩИЙ (сущность-родитель) и сущностью НАЗНАЧЕНИЕ_ПРОЕКТА (сущность-потомок) и между сущностью ПРОЕКТ (сущность-родитель) и сущностью НАЗНАЧЕНИЕ_ПРОЕКТА (сущность-потомок). Первое отношение выглядит следующим образом: «Служащему соответствуют ноль, один или несколько назначений проекта». Второе отношение: «Проект имеет ноль, один или несколько назначений проекта». При этом каждое назначение проекта делается точно для одного служащего и точно для одного проекта (см. рис IV 1). Сущности, вводимые для разрешения неопределенных отношений, иногда называются «пересечением» или «соединяющими» сущностями.
Так как в неопределенном отношении отсутствуют сущность-родитель и сущность-потомок, то неопределенное отношение должно иметь два наименования, с точки зрения одной сущности и с точки зрения другой сущности. Имя неопределенного отношения выражается глаголом или глагольным оборотом. Имя сущности, наименование отношения, мощность отношения и имя другой сущности должны формировать предложение. Например, из неопределенного отношения «имеет/назначен» между сущностями ПРОЕКТ и СЛУЖАЩИЙ можно получить утверждения «Проект имеет ноль, один или несколько служащих» и «Служащему назначен ноль, один или несколько проектов». Если между двумя сущностями существует более одного отношения, то имя каждого отношения должно быть уникальным, хотя внутри одной модели имена отношений могут повторяться.