7
Экземпляр отношения (отношение) – ассоциация (связь) между
экземплярами объектов, включающая по одному экземпляру объекта с каждой
стороны связи.
Объекты, включенные в отношение, называются участниками этого
отношения (при этом в связях для определения функций каждого участника
могут присваиваться ролевые имена). Количество участников данного
отношения называется степенью этого отношения (два участника – бинарная
(наиболее часто используется), три – тернарная, четыре – кватернарная, n
участников – n-арная). Существуют унарные (рекурсивные) отношения – в них
одни и те же типы объектов участвуют несколько раз и в разных ролях. Число
направлений связи (приложения функциональности связи к объектам) зависит
от числа экземпляров объектов, участвующих в связи, и всегда больше
единицы, т.е. любая связь не является однонаправленной.
Каждый тип отношения, как и тип объекта, идентифицируется
обязательным именем, отражающим функции данной связи, и необязательным
(но возможным) списком свойств.
Представление отношений на диаграмме: в виде ромба с указанным в нем
именем связи и соединенного линиями с участниками отношения.
Следует отметить, что приведенное выше описание концепций не
является жестким и позволяет трактовать различные части реального мира как
одну из концепций в зависимости от значимости данной части для создаваемой
концептуальной модели. Например, такое понятие реального мира, как «семья»,
можно представить в виде объекта, а можно и как отношение между другими
(более сильными) объектами («муж», «жена» и т.п.), если они уже существуют
в создаваемой модели. Поэтому создание концептуальной модели данных более
искусство, чем механическая работа, и требует формирования определенного
(внутреннего) представления ситуации у разработчика.
2.2. Структурные ограничения ER-модели
Структурные ограничения, накладываемые на участников отношения,
являются отражением требований реального мира. Можно выделить такие
общие ограничения, как мощность отношения и степень участия объектов в
отношении.
Мощность отношения – максимальное количество элементов одного
типа объекта, связанных с одним элементом другого типа объекта. Обычно
рассматриваются следующие виды связей:
• «один-к-одному» – максимальная мощность отношения в обоих
направлениях равна одному (обозначается «1»);
• «один-ко-многим» – максимальная мощность отношения в одном
направлении равна одному, а в другом – многим (обозначается «*»);
• «многие-ко-многим» – максимальная мощность отношения в обоих
направлениях равна многим.