Проектирование информационных систем с CA ERwin Modeling Suite 7.3. Горбаченко В.И - 72 стр.

       Типизирующими называются отношения между родительской и одной
или более подчиненными сущностями, когда сущности разделяют общие ха-
рактеристики. Такие отношения называются еще иерархией наследования или
иерархией категорий. Типизирующие отношения используются в том случае,
когда экземпляр родительской сущности определяет различные наборы атри-
бутов в подчиненных сущностях. Например, имеются различные категории
сотрудников, отличающиеся только небольшим количеством атрибутов
(рис. 5.5). Для каждой категории необходимо указать дискриминатор – атри-
бут родительской сущности, показывающий, как отличить одну категориаль-
ную сущность от другой. На рис. 5.5 дискриминатором является атрибут
Тип. На рис. 5.5 показана полная категория, т. е. каждый экземпляр сущно-
сти сотрудник относится к одной из перечисленных категорий. Возможна не-
полная категория, когда существуют экземпляры родительской сущности, не
имеющие соответствующих экземпляров в дочерних сущностях (значок кате-
гории содержит одну горизонтальную линию).




            Рис. 5.5. Пример полной категории иерархии наследования

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



                                      72