1.3. Отношения категоризации

Семантика отношений категоризации. Некоторые существующие объекты являются категориями других реально существующих объектов, поэтому сущности могут быть категориями других сущностей. Например, для общей сущности СЛУЖАЩИЙ можно указать две сущности-категории: ШТАТНЫЙ_СЛУЖАЩИЙ и СЛУЖАЩИЙ_ПОЧАСОВИК (рис.3). Сущности-категории вводятся, например, для отражения особенностей выплаты заработной платы различным категориям служащих.

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

Каждый экземпляр общей сущности и связанный с ним экземпляр одной из категорных сущностей изображают один и тот же предмет реального мира и поэтому обладают одним и тем же уникальным идентификатором.

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

IDEF1X допускает, однако, существование неполного множества категорий. Если существует экземпляр общей сущности, не связанный ни с каким экземпляром из сущностей-категорий то такое отношение называется отношением неполной категоризации.

Рис.3

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

Синтаксис отношений категоризации. Отношение категоризации изображается линией, ведущей из общей сущности к подчеркнутому кругу. Отдельные линии ведут от подчеркнутого круга к каждой из сущностей-категорий. Для сущности-категории мощность не указывается, поскольку она всегда равна нулю или единице. Сущности-категории всегда зависимы от идентификаторов.

Если круг подчеркнут дважды, это указывает на полноту множества сущностей-категорий (рис.3). Если круг подчеркнут один раз, это указывает на неполноту множества категорий. Имя атрибута общей сущности, используемое в качестве дискриминатора, записывается рядом с кружком.

Отношение категоризации не именуется, но может звучать как «может быть».

Общая сущность и каждая сущность-категория должны иметь одинаковые ключевые атрибуты.

Правила отношений категоризации. Сущность категория может иметь только одну общую сущность. Сущность-категория может быть общей сущностью в другом отношении категоризации.

Атрибуты первичного ключа сущности-категории должны совпадать с атрибутами первичного ключа общей сущности.

Все экземпляры сущности-категории имеют одно и то же значение дискриминатора.

1.4. Неспецифические отношения

Отношение родитель-потомок и отношение категоризации рассматриваются как специфические отношения. Однако при первоначальной разработке модели часто полезно устанавливать неспецифическое отношение между двумя сущностями.

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

Рис.4

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

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

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