Неидентифицирующие отношения
Неидентифицирующим является отношение между двумя сущностями, в котором каждый экземпляр подчиненной сущности не зависит от значений атрибутов родительской сущности. Это означает, что экземпляр подчиненной сущности не зависит от родительской сущности и может существовать без экземпляра родительской сущности. В неидентифицирующем отношении единственный экземпляр родительской сущности связан с множеством экземпляров подчиненной. Атрибуты первичного ключа родительской сущности мигрируют в подчиненную, чтобы стать там не ключевыми атрибутами. На рисунке 4.3 представлено неидентифицирующее отношение между сущностями СМЕСЬ и ТИП СМЕСИ. Обратите внимание, что атрибуты первичного ключа родительской сущности СМЕСЬ мигрировали в подчиненную сущность ТИП СМЕСИ и стали там неключевыми атрибутами.
Рис. 4.3. Неидентифицирующее отношение между сущностями СМЕСЬ и ТИП СМЕСИ.
Обратите внимание, что ERwin изображает не идентифицирующее отношение в виде пунктирной линии.
Типизирующие отношения
Типизирующими являются отношения между родительской и одной или более подчиненными сущностями. Вы должны использовать типизирующие отношения в том случае, если имеет смысл указать на такие отношения, когда экземпляр родительской сущности определяет различные наборы атрибутов в подчиненных сущностях.
Клайв Финклештейн называет характеристические сущности вторичными сущностями. Характеристические сущности всегда имеют одну или более "равноправных" сущностей. Равноправные характеристические сущности связаны с родительской сущностью особым типом отношений, которые могут быть исключающими или включающими.
Исключающие типизирующие отношения
Исключающие типизирующие отношения указывают, что только одна подчиненная сущность идентифицируется родительской сущностью. Другими словами, экземпляр родительской сущности связаны с экземплярами не более чем одной вторичной сущности. Исключающая характеристическая сущность представляет отношение "является" (is a). На рисунке 4.4 изображено исключающее типизирующее отношение между сущностью верхнего уровня СМЕСЬ и двумя характеристическими сущностями БАНАНОВЫЙ ДЕСЕРТ и СЛИВОЧНАЯ ПОМАДКА.
Рис. 4.4. Исключающее типизирующее отношение между сущностью верхнего уровня СМЕСЬ и двумя подчиненными характеристическими сущностями БАНАНОВЫЙ ДЕСЕРТ и СЛИВОЧНАЯ ПОМАДКА.
Заметьте символ подтипа X, указывающий, что это исключающее типизирующее отношение в нотации IE системы ERwin. Представленное бизнес-правило утверждает, что экземпляр сущности СМЕСЬ может быть сущностью БАНАНОВЫЙ ДЕСЕРТ или СЛИВОЧНАЯ ПОМАДКА, но не ими обеими одновременно.
Включающие типизирующие отношения
Включающее типизирующее отношение указывает, что экземпляром родительской сущности могут определяться более одной вторичной сущности. Другими словами, экземпляр родительской сущности связан с экземплярами нескольких вторичных сущностей. Рисунок 4.5 демонстрирует включающее типизирующее отношение между родительской характеристической сущностью ПЕРСОНА и двумя подчиненными сущностями КЛИЕНТ и СОТРУДНИК.
Отношения многие-ко-многим
Отношения многие-ко-многим возникают там, где один экземпляр одной сущности связан с несколькими экземплярами другой, и один экземпляр этой другой сущности также связан с несколькими экземплярами первой сущности. Эти отношения также называют неспецифическими. Отношения многие-ко-многим используются на предварительных стадиях разработки логической модели. Обычно они разрешаются за счет использования ассоциативной сущности, содержащей ключи родительских сущностей. Ассоциативные сущности позволяют экземплярам каждой из родительских сущностей быть представленными в виде уникальной пары во вторичной сущности. Рисунок 4.6 показывает отношение многие-ко-многим между сущностями СЛИВОЧНАЯ ПОМАДКА и МОРОЖЕНОЕ.