4.5.1. Правила для неопределенных отношений
1) Неопределенное отношение существует только между двумя сущностями.
При неопределенном отношении экземпляру каждой из двух сущностей может соответствовать ноль, один или несколько экземпляров другой сущности в зависимости от установленной мощности.
В KB и FA представлениях все неопределенные отношения должны быть заменены определенными отношениями.
Неопределенные отношения могут быть рекурсивными, т.е. один экземпляр сущности может соответствовать другому экземпляру этой же сущности.
Графическое изображение отношений на диаграмме.
Отношение связи изображается в виде линии между сущностью-родителем и сущностью-потомком с точкой на конце. Рядом с точкой может быть помещена мощность отношения: Р, Z или точное значение мощности. Если мощность – множество, то рядом с точкой пишутся границы множества. См. рис.IV 2. Другие значения мощности (например, больше 3, точно 7 или 9) записываются рядом с точкой в виде ссылки на примечание.
Рис. IV 2. Мощность отношения
Имя отношения помещается рядом с линией. Идентифицирующее отношение изображается в виде сплошной линии между сущностью-родителем и сущностью-потомком. См. рис. IV 3.
* Сущность-родитель в идентифицирующем отношении может быть независимой от идентификатора
(как на рис.) или зависимой от идентификатора, в зависимости от других отношений.
** Сущность-потомок в идентифицирующем отношении всегда зависима от идентификатора
Рис. IV 3 Идентифицирующее отношение
Если отношение связи - идентифицирующее, сущность-потомок всегда зависимая от идентификатора и изображается в виде прямоугольника с закругленными углами.
Сущность-родитель в идентифицирующем отношении является независимой от идентификатора, если только она не является сущностью-потомком в другом идентифицирующем отношении, в таком случае и сущность-родитель и сущность-потомок будут зависимы от идентификатора. Одна сущность может вступать в одно или несколько отношений с другими сущностями. Однако если сущность является сущностью-потомком в каком-либо идентифицирующем отношении, она всегда изображается как зависимая от идентификатора (прямоугольник с закругленными углами), не зависимо от того, каковы другие отношения.
Обязательное не идентифицирующее отношение изображается в виде прерывистой линии, соединяющей сущность-родитель и сущность-потомок, с точкой на конце.
* Сущность-родитель в обязательном не идентифицирующем отношении может быть независимой от идентификатора сущностью (как на рис.) или зависимой от идентификатора сущностью, в зависимости от других отношений.
** Сущность-потомок в обязательном не идентифицирующем отношении будет независимой от идентификатора сущностью, если только эта сущность не является сущностью-потомком в идентифицирующем отношении.
Рис. IV 4 Обязательное не идентифицирующее отношение
Обе сущности, и родитель, и потомок, будут сущностями, независимыми от идентификатора в не идентифицирующем отношении, если только одна или обе сущности не являются сущностями-потомками для некоторого другого идентифицирующего отношения.
Необязательное не идентифицирующее отношение изображается в виде прерывистой линии, соединяющей сущность-родитель и сущность-потомок с маленьким ромбом на конце около сущности-родителя.
* Сущность-родитель в необязательном не идентифицирующем отношении может быть независимой от идентификатора сущностью (как на рис.) или зависимой от идентификатора сущностью, в зависимости от других отношений.
** Сущность-потомок в необязательном не идентифицирующем отношении будет независимой от идентификатора сущностью, если только эта сущность не является сущностью-потомком в идентифицирующем отношении.
Рис. IV 5 Необязательное не идентифицирующее отношение
В отношениях категоризации кластер категорий изображается в виде линии, проведенной от общей сущности к подчеркнутому кругу. Для полного набора категорий круг подчеркивается двумя линиями, для неполного набора категорий – одной линией. Отдельные линии идут от подчеркнутого круга к каждой сущности-категории в кластере. Каждая пара линий, от общей сущности к кругу и от круга к сущности-категории, представляет отдельное отношение категоризации в кластере. Сущности-категории всегда зависимы от идентификатора (прямоугольники с закругленными углами). Общая сущность независима, если только она не является сущностью-потомком в другом идентифицирующем отношении связи. Название атрибута, используемого в качестве дискриминатора, записывается рядом с кругом.
* Общая сущность может быть независимой от идентификатора (как показано на рис.) или зависимой
от идентификатора, в зависимости от других отношений
** Сущности-категории всегда являются зависимыми от идентификатора
Рис.IV 6 Отношение категоризации
Неопределенное отношение изображается в виде линии, проведенной между двумя связанными сущностями, с точками на обоих концах линии. Имя отношения состоит из двух имен и помещается над линией отношения. Характер имени отношения зависит от положения сущностей. Первое имя описывает отношение от левой сущности к правой, если сущности расположены горизонтально, и от верхней к нижней, если сущности расположены вертикально. Второе имя описывает отношение в обратную сторону, т.е. от правой сущности к левой и от нижней к верхней, в зависимости от их ориентации. Направление верхний-нижний имеет преимущество перед направлением левый-правый, так что если сущности расположены вверху справа и внизу слева, первый глагольный оборот описывает отношение от верхней сущности.
Для неопределенного отношения между сущностями ПРОЕКТ и СЛУЖАЩИЙ: если при графическом представлении сущность ПРОЕКТ расположена вверху или слева от сущности СЛУЖАЩИЙ, то название отношения - «имеет/назначен».
Рис. IV 7 Неопределенные отношения
Заканчивая описание отношений, следует ввести ещё одно понятие – сущность-предок. Если существует отношение связи 1 между сущностью-родителем 1 и сущностью-потомком 1, и существует другое отношение связи 2, в котором сущность-родитель 1 является сущностью-потомком 2, то сущность-родитель 2 для сущности-потомка 1 является сущностью-предком. Если существует отношение категоризации между общей сущностью 1 и сущностью-категорией 1, и существует другое отношение связи 2 (категоризации), в котором общая сущность 1 является сущностью-потомком 2 (сущностью-категорией 2), то сущность-родитель 2 (общая сущность 2) является сущностью-предком для сущности-категории 1. В общем виде, если существуют N отношений связи и категоризации, и для i-го отношения верно утверждение, что сущность-родитель или общая сущность в (i – 1)-м отношении является сущностью-потомком или сущностью-категорией в i-м отношении, то сущность-родитель или общая сущность в i-м отношении является сущностью-предком для каждой сущности-потомка или сущности-категории в отношениях от первого до (i – 1).
Рис. IV 8. Сущность-предок 4.7. Идентификация отношений. Составление таблицы отношений.
Рис. IV 9 Таблица отношений
Задача данного этапа моделирования – выявить все возможные отношения между сущностями. Для облегчения работы предлагается составить таблицу отношений. В первой строке и первом столбце таблицы перечисляются все естественные сущности. Если между сущностями имеется какая-либо связь, на пересечении строки и столбца, соответствующих сущностям, ставится галочка. Такая таблица позволяет отследить все возможные отношения.
При составлении таблицы отношений необходимо обращать внимание на то, чтобы в неё не попали косвенные отношения. Например, при отборе образцов должна быть известна марка материала. Но экземпляр сущности МАРКА_МАТЕРИАЛА занесен в ноль, один или несколько экземпляров сущности СЕРТИФИКАТ, а экземпляр сущности СЕРТИФИКАТ используется при отборе одного или нескольких экземпляров сущности ОБРАЗЕЦ. Таким образом, существуют прямые связи между сущностями МАРКА_МАТЕРИАЛА и СЕРТИФИКАТ и между сущностями СЕРТИФИКАТ и ОБРАЗЕЦ. Можно сказать, что между сущностями МАРКА_МАТЕРИАЛА и ОБРАЗЕЦ тоже существует связь, и эта связь – косвенная, осуществляемая с помощью сущности СЕРТИФИКАТ. Именно такую связь нет необходимости указывать в таблице отношений.
Уже при составлении таблицы отношений некоторые отношения можно отнести к одной из трех перечисленных выше групп: отношения связи, категоризации и неопределенные отношения. Если связанные сущности описывают одни и те же предметы реального мира, то эти сущности находятся в отношении категоризации, где одна является общей сущностью, а другая – сущностью-категорией.