Рассмотрим следующий факт предметной области: преподаватель читает предмет.
При этом преподаватель может вести несколько предметов. Один предмет могут вести несколько преподавателей. Получается связь координальности N:M.
На логическом уровне связь вида N:M отображается следующим образом:
Связь вида N:M называется неспецифической, так как ее нельзя реализовать путем простого переноса первичных ключей. Она организуется с помощью дополнительной сущности, называемой ассоциативной.
На физическом уровне, приведенная в примеряя связь, автоматически примет следующий вид:
N-арные связи.
Ранее рассмотренные связи назывались бинарными. Но в реальном мире существуют гораздо более сложные взаимодействия.
Используя ассоциативные сущности можно описать связь между тремя и более сущностями. Кроме того, ассоциативные сущности могут сами принимать участия в связях, как единое целое или иметь собственные атрибуты.
Существует расширенная модель связи EER. Эта модель добавляет в концептуальную схему понятие «иерархия классов», то есть отношение «класс-суперкласс». Для этого в семантической модели имеется элемент – категория.
Признаком необходимости выделения категории может, служит тот факт, что все сущности класса помимо специфических характеристик имеют еще и общие характеристики.
Атрибут, значение которого служит признаком отнесения к той и или иной категории называется дискриминатором.
Возможны следующие ограничения на категории:
1) Ограничения участия.
Разбиение на категории может быть полным или не полным. Полное разбиение обязывает сущность принадлежать одной из категорий, обозначается
Разбиение на категории является неполным, когда сущность может принадлежать одной из категорий, а может и не принадлежать ни одной из них .
При выделении сущностей, реализующих категории, все они должны иметь один и тот же первичный ключ.
2) Ограничение не пересечения.
Категории могут быть пересекающимися и непересекающимися. Если подклассы не пересекаются, то их экземпляры могут принадлежать только одному подклассу. Соответственно если подклассы пересекаются, то экземпляры могут принадлежать сразу к нескольким подклассам.
Пример: сотрудники университета могут быть преподавателями или иными сотрудниками. Но есть сотрудники, которые являются и преподавателями и занимают еще какие-либо должности. То есть получается, что категории пересекающиеся.
Стандарт IDEFX не имеет специальных обозначений для этой характеристики. По умолчанию подразумеваются пересекающиеся категории.
Ограничения проявляются на внутреннем уровне описания схемы базы данных, например, при создании триггеров. В других нотациях, например, категории могут обозначаться кружками с буквами: D – для непересекающихся, O – для пересекающихся.