врач может назначить несколько пациентов на несколько анализов, анализ может быть назначен несколькими врачами нескольким пациентам и пациент может быть назначен на несколько анализов несколькими врачами.
●Рекурсивная связь (в некоторых формулировках рефлексивное отношение).
●Связи более высоких порядков, семантика (смысл) которых иногда очень сложна.
Если сущность имеет набор взаимоисключающих отношений с другими сущностями, то говорят, что такие отношения находятся в дуге.
для 1
Юридическое лицо
N 
Счет
N
Физическое лицо
для 1
Рис. 4. Связи находящиеся в дуге
Например, банковский счет может быть оформлен или для юридического лица, или для физического лица.
В этом случае атрибут ВЛАДЕЛЕЦ сущности СЧЕТ имеет особое значение для данной сущности - сущность делится на типы по категориям: "для физического лица" и "для юридического лица". Полученные в результате сущности называют подтипами, а исходная сущность становится супертипом. Чтобы понять, нужен супертип или нет, надо установить, сколько одинаковых свойств имеют различные подтипы. Следует отметить, что злоупотребление подтипами и супертипами является довольно распространенной ошибкой.
IDEF
В федеральный стандарт США входит семейство определяющих языков ICAM (ICAM Definition Methods, коротко IDEF), используемые на стадии создания моделей предметной области.
Они охватывают целый диапазон применений функциональное моделирование, информационное моделирование, симуляции, объектно-ориентиро- ванный анализ и дизайн, а также пополнение знаний. Для определения данных был разработан и используется стандарт IDEF1 и IDEF1x
IDEF1 и IDEF1X
Правила для атрибутов сущности следующие:
1)Каждый атрибут должен иметь уникальное имя.
-8 -
2)Сущность может обладать любым количеством атрибутов.
3)Сущность может обладать любым количеством наследуемых атрибутов, но наследуемый атрибут должен быть частью первичного ключа сущности-родителя.
4)Для каждого экземпляра сущности должно существовать значение каждого его атрибута (правило необращения в нуль - Not Null).
5)Ни один из экземпляров сущности не может обладать более чем одним значением для ее атрибута.
Стандарт IDEF1X описывает способы изображения двух типов сущностей - независимой и зависимой, и связей - идентифицирующих и неидентифицирующих.
Каждая сущность может обладать любым количеством связей с другими сущностями.
Сущность является независимой, если каждый ее экземпляр может быть однозначно идентифицирован без определения его связей с другими сущностями.
Сущность называется зависимой, если однозначная идентификация ее экземпляра зависит от его связей с другими сущностями.
Независимая |
|
|
|
сущность |
|
|
Зависимая |
Aircraft |
|
Flight plan |
сущность |
|
|
||
Aircraft code |
(PK) |
Flight route ID |
(PFK) |
Air-line |
(FK) |
Departure |
(PK) |
Type |
(FK) |
Aircraft code |
(PFK) |
ИдентифициНеидентифи- рующая связь
цирующая
связь
Air-line
Air-line (PK)
Flight route
Flight route ID |
(PFK) |
Departure |
(PK) |
Aircraft code |
(PFK) |
Рис. 5. Изображение сущностей и связей по стандарту IDEF1X Сущность может обладать атрибутами, которые наследуются через
связь с родительской сущностью. Последние обычно являются внешними ключами (FK) и служат для организации связей между сущностями. Если внешний ключ сущности используется в качестве ее первичного ключа (PK) или как часть составного первичного ключа, то сущность является зависимой от родительской сущности. Если внешний ключ не является первичным и не входит в составной первичный ключ, то сущность является независимой от родительской сущности.
Если сущность является зависимой, то связь ее с родительской сущностью называется идентифицирующей, в противном случае — неидентифицирующей. Идентифицирующая связь изображается сплошной линией, неиден-
- 9 -
тифицирующая - пунктирной.
Ноль, один или много |
Только n |
n
Один или много |
От n до m |
P |
n-m |
|
|
|
Связь чтобы особо обратить внимание, на то |
|
|
Ноль или один |
что указанно количество элементов |
Z |
(n) |
|
|
|
|
Рис. 6. Изображение сущностей и связей по стандарту IDEF1X
Связи дается имя, выражаемое грамматической формой глагола. Имя связи всегда формируется с точки зрения родителя, так что может быть образовано предложение, если соединить имя сущности родителя, имя связи, выражение мощности и имя сущности-потомка.
Категоризация используется в тех случаях, когда одна сущность является категорией другой сущности.
Если некоторая сущность разбивается на категории, то ее называют родовой сущностью, а сущность, которая соответствует категории, называют сущностью-категорией или просто категорией. Очевидно, что каждому экземпляру категории должен соответствовать единственный экземпляр родовой сущности. Наоборот, каждому экземпляру родовой сущности может соответствовать не более одного экземпляра категорий. Действительно, все категории родовой сущности представляют собой непересекающиеся множества и каждый экземпляр родовой сущности может попадать не более чем в одну категорию. Таким образом, категоризация представляет собой отношение "один к одному".
Набор категорий данной родовой сущности называется кластером категорий. Кластер категорий может быть полным, если в нем перечислены все возможные категории данной родовой сущности. Если в кластере перечислены только некоторые категории, то такой кластер называется неполным. Если кластер неполный, то для некоторых экземпляров родовой сущности может не быть соответствующего экземпляра в категории.
- 10 -