Связи, роли и множество связей

Связь – это ассоциация, устанавливаемая между сущностями. Для связи также определяются:

- множество связей,

- тип связи,

- экземпляр связи.

Множество связей – это математическое отношение между n сущностями, каждая из которых относится к некоторому множеству сущностей; обозначим множество связей через R:

R = {<e₁, e₂,..., e_n>} | e₁ принадлежит E₁, e₂ принадлежит E₂,..., e_n принадлежит E_n}.

Здесь каждый кортеж отношения, <e₁, e₂,..., e_n>, является связью (relationship).

В этом определении множества сущностей не обязаны быть различными. Например, БРАК – это связь между двумя сущностями из одного и того же множества сущностей ЛИЧНОСТЬ.

Тип связи – определяется как ассоциация типов сущностей. Например, ассоциация типов сущностей ЛИЧНОСТЬ, ЛИЧНОСТЬ определяет тип связи БРАК.

Роль сущности в связи – это функция, которую сущность выполняет в данной связи. Например, в связи БРАК "муж" и "жена" – это роли. Обозначим роли сущностей в связи через r. Упорядочение сущностей в определении связи может отсутствовать, если в связи явно указаны роли сущностей:

<e₁, e₂,..., e_n> – в определении связи сущности упорядочены

<r₁/e₁, r₂/e₂,..., r_n/e_n> – в определении связи сущности не упорядочены; явно указаны роли сущностей.

Например, для типа связи БРАК: или <e₁, e₂>, где точно задано, что e₁ играет роль мужа, а e₂ – жены, или же <муж/e₁, жена/e₂>, и тогда порядок перечисления типов сущностей в определении типа связи не важен.