Формализация связи

Связи

Отношения существуют между различными видами предметов в реальном мире.

Связь – это абстракция набора отношений, которые систематически возникают между различными видами предметов в реальном мире.

Реальные предметы, которые участвуют в отношении, должны быть сами абстрагированы как объекты.

Каждой связи присваивается уникальный идентификатор вида R1, R2 и т. п.

Связь представляется графически линией между соотносимыми объектами. Линии обозначаются идентификатором связи. Названия связи помещаются на каждом конце линии связи.

Существует три фундаментальных вида связи. Эти виды называются безусловными формами, потому что для участи в связи требуется каждый экземпляр обоих объектов:

1. Связь один-к-одному существует, когда один экземпляр одного объекта связан с единственным экземпляром другого.

2. Связь один-ко-многим существует, когда один экземпляр некоторого объекта связан с одним или более экземпляром другого и каждый экземпляр второго объекта связан только с одним экземпляром первого.

3. Связь многие-ко-многим существует, когда один экземпляр некоторого объекта связан с одним или большим количеством экземпляров другого, и каждый экземпляр второго объекта связан с одним или более экземпляром первого.

Термины «один-к-одному», «один-ко-многим», «многие-ко-многим» являются формулировками множественности связи. Множественность обозначается графически: одна стрелка на конце обозначает один экземпляр, а двойная – один или более экземпляр.

В условной связи могут существовать экземпляры объектов, которые не принимают участия в связи. Если связь условная с обеих сторон – имеется в виду, что могут существовать экземпляры обоих объектов, которые не участвуют в связи, – она называется биусловной.

Все связи требуют описания. Описание должно обеспечивать:

1) идентификатор связи;

2) формулировку имен связи с точки зрения каждого участвующего объекта;

3) вид связи (ее множественность и условность);

4) формулировку обоснования абстракции;

5) формулировку того, как связь была формализована.

Цель связи состоит в том, чтобы позволить нам установить связь экземпляра одного объекта с экземпляром другого. Это выполняется размещением дополнительных атрибутов в соответствующих объектах на модели. Когда это выполнено, говорят, что связь формализована в данных.

Для формализации связи один-к-одному вспомогательные атрибуты могут быть добавлены к любому объекту (но не к обоим). Вспомогательные идентификаторы снабжаются ярлычком идентификатора связи.

Для формализации связи один-ко-многим вспомогательные атрибуты должны быть добавлены к объекту на стороне «много», поскольку размещение на стороне «один» будет нарушать третье правило атрибутов.

Для формализации связи многие-ко-многим создают ассоциативный объект – отдельный объект, который содержит ссылки на идентификаторы каждого из участвующих экземпляров. Тогда ассоциативный объект обрабатывается как объект с собственными правами, именем, номером, ключевым литералом, описанием. Подобно любому другому, ассоциативный объект может иметь дополнительные атрибуты и участвовать в связях с другими объектами.

Ассоциативный объект может использоваться для формализации не только связи многие-ко-многим, но и любой другой связи.

Дата добавления: 2014-12-29