Связь может объединять и более двух сущностей, n сущностей, и в этом случае она называется n-арной. Однако доказано, что одну n-арную связь можно заменить множеством бинарных связей.
Существенным является не только наличие связи между сущностями, но также и множественность этой связи, показывающая, какое количество экземпляров обеих сущностей может участвовать в ассоциации.
Для бинарной связи различают следующие типы множественности.
1. Один-к-одному (1: 1).
Это сравнительно редкий тип, означающий, что в данной связи одному экземпляру сущности A соответствует только один экземпляр сущности B. Пусть имеются две сущности: СТУДЕНТ и ГРУППА. Только один студент в каждый конкретный момент времени является старостой группы. В то же время, один студент не может быть старостой двух и более учебных групп одновременно. Таким образом, между сущностями СТУДЕНТ и ГРУППА существует связь 1:1.
2. Один-ко-многим (1 : N).
Данный тип множественности означает, что одному экземпляру сущности A соответствует один или несколько экземпляров сущности B, а одному экземпляру сущности B соответствует один и только один экземпляр сущности A. Так, одной специальности в вузе может соответствовать множество учебных групп, но каждая группа относится только к одной специальности.
3. Многие-к-одному (M : 1).
Данный тип множественности является обратным типу 1 : N.
4. Многие-ко-многим (M : N).
Самый общий тип связи: экземпляру сущности A может соответствовать один или несколько экземпляров сущности B и наоборот. Такова связь ИЗУЧЕНИЕ между сущностями СТУДЕНТ и ДИСЦИПЛИНА: одна учебная дисциплина изучается множеством студентов, а с другой стороны, один студент изучает множество дисциплин.
Еще одна характеристика связей – кардинальность, которая означает обязательность участия экземпляров сущности в ассоциации. Кафедра, коль скоро она существует, всегда относится к какому-либо факультету, а значит, сущность ФАКУЛЬТЕТ обязательно участвует в связи с сущностью КАФЕДРА, т. е. имеет обязательный класс принадлежности к связи. Однако возможна ситуация, когда к уже существующему факультету еще не относится ни одна кафедра, т. е. сущность КАФЕДРА имеет необязательный класс принадлежности.
Любая связь может быть охарактеризована аналитической записью вида:
,
где:
m1, m2 – класс принадлежности сущности к связи (0 – необязательный, 1 – обязательный);
n1, n2 – степень конца связи.
Примеры аналитической записи типов связей:
· (1,1):(1,1) – связь «один-к-одному», класс принадлежности обеих сущностей обязателен;
· (0,1):(0,1) – связь «один-к-одному», класс принадлежности обеих сущностей необязателен;
· (1,1):(0,N) – связь «один-ко-многим», первая сущность обязательно включается в связь;
· (0,M):(0,N) – связь «многие-ко-многим», включение обеих сущностей не обязательно.
Логический уровень абстрагирования данных
На логическом уровне определяется, каким образом сущности, атрибуты и связи отображаются на структуры данных, и при помощи каких операций осуществляется обработка данных и их поиск. Отображение происходит в соответствии с выбранной моделью данных. В общепринятой классификации выделяются следующие модели.
1. Иерархическая.
Использует древовидные структуры: экземпляры сущностей отображаются на узлы деревьев, а взаимосвязи между узлами выражаются при помощи отношений типа предок-потомок.
2. Сетевая.
Представляет собой обобщение иерархической модели. Экземпляры сущностей и здесь отображаются на узлы, но структура данных представляет собой не дерево, а произвольный граф.
3. Реляционная.
В этой модели вся информация представляется в виде взаимосвязанных таблиц, а обработка данных сводится к операциям над строками таблиц. Реляционная модель получила широкое распространение в 70-е годы XX столетия и продолжает широко использоваться в настоящее время. Именно реляционная модель подробно изучается в настоящем курсе.
4. Постреляционные модели.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.