4.3.1. Правила для определенных отношений связи.

1) Определенное отношение связи существует только между двумя сущностями,

сущностью-родителем и сущностью-потомком.

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

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

4. Экземпляр сущности-родителя может иметь ноль, один или более соответствующих экземпляров сущности-потомка в зависимости от установленной мощности.

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

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

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

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

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

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

общей сущности. Экземпляры сущности-категории могут быть в отношении связи с экземплярами другой сущности, причем это отношение не будет касаться других экземпляров общей сущности. Например, между сущностью СОТРУДНИК и сущностью КОНТРОЛЕР_БВП существует отношение категоризации, где СОТРУДНИК – это общая сущность, КОНТРОЛЕР_БВП – сущность-категория.

Кластер (набор) категорий – это набор из одного или нескольких отношений категоризации. Экземпляру общей сущности может соответствовать только один экземпляр одной сущности-категории из кластера категорий, и каждый экземпляр сущности-категории соответствует только одному экземпляру общей сущности. Каждый экземпляр сущности-категории представляет собой тот же предмет реального мира, что и соответствующий экземпляр общей сущности. Рассмотрим ещё два отношения категоризации: между сущностью СОТРУДНИК и сущностью РАБОТНИК_СКЛАДА и между сущностью СОТРУДНИК и сущностью РАБОТНИК_ЛАБОРАТОРИИ. СОТРУДНИК – это общая сущность, РАБОТНИК_СКЛАДА, РАБОТНИК_ЛАБОРАТОРИИ – сущности-категории. Имеем кластер категорий, в котором представлены три отношения категоризации: одно между сущностями СОТРУДНИК и КОНТРОЛЕР_БВП, другое между сущностями СОТРУДНИК и РАБОТНИК_СКЛАДА, третье между сущностями СОТРУДНИК и РАБОТНИК_ЛАБОРАТОРИИ.

Так как экземпляру общей сущности не может соответствовать более одного экземпляра одной сущности категории из кластера категорий, сущности-категории являются взаимно исключающими. В описанном примере, это означает, что сотрудник не может одновременно быть и кладовщиком, и лаборантом. Однако сущность может быть общей сущностью в нескольких кластерах категорий, и сущности-категории в одном кластере не являются взаимно исключающими с сущностями-категориями в других кластерах. Например, сущность СОТРУДНИК может быть общей сущностью в другом кластере

категорий с сущностями-категориями СОТРУДНИК_МУЖЧИНА и

СОТРУДНИК_ЖЕНЩИНА. Экземпляру сущности СОТРУДНИК может соответствовать как экземпляр одной из сущностей КОНТРОЛЕР_БВП, РАБОТНИК_СКЛАДА или РАБОТНИК_ЛАБОРАТОРИИ, так и экземпляр одной из сущностей СОТРУДНИК_МУЖЧИНА или СОТРУДНИК_ЖЕНЩИНА.

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

Для обозначения кластера категорий и отличия его от других вводится дискриминатор - атрибут общей сущности или одной из её сущностей-предков. Значение дискриминатора определяет категорию экземпляра общей сущности, т.е. к какой сущности-категории относится данный экземпляр общей сущности. В представленном выше примере дискриминатором для неполного кластера категорий может быть «тип сотрудника». Дискриминатор «тип сотрудника» может принимать значения «контролер БВП», «работник склада», «работник лаборатории». Для полного кластера категорий выберем дискриминатор «пол сотрудника», у которого может быть только два значения: «мужской» и «женский». Хотя сами отношения категоризации не имеют точного наименования, каждое отношение общей сущности с сущностью-категорией может быть прочитано, как «может быть». Например, СОТРУДНИК «может быть» РАБОТНИК_СКЛАДА. Если имеется полный набор категорий, то отношение может быть прочитано, как «должно быть». Например,

СОТРУДНИК «должен быть» СОТРУДНИК_МУЖЧИНА или СОТРУДНИК_ЖЕНЩИНА. В обратном направлении отношение читается как «есть». Например, КОНТРОЛЕР_БВП есть СОТРУДНИК. Для сущности-категории мощность не определяется, т.к. она всегда равна нулю или единице.