Зв'язки можуть мати різний характер:
• «один до одного» (1: 1) - один примірник сутності Директор пов'язаний з одним екземпляром сутності Магазин;
• «один до багатьох» (1: М) - один примірник сутності Директор пов'язаний з багатьма екземплярами сутності Продавець;
• «багато до багатьох» (М: М) - багато екземпляри сутності Продавець пов'язані з багатьма екземплярами сутності Товар.
Символи, що вказують на характер зв'язку (1 або М), відображаються на ER-діаграмах поруч зі зв'язаними сутностями.
Зв'язок будь-якого з перерахованих видів може мати обов'язковий і необов'язковий класи приналежності.
Клас приналежності зв'язку для деякої сутності є обов'язковим, якщо в даному зв'язку повинен брати участь кожен екземпляр сутності (всі продавці продають товари), і необов'язковим, якщо деякі екземпляри суті не беруть участь в зв'язку (не всі товари доставлені залізничним транспортом). При цьому зв'язок може бути обов'язковим з одного боку і необов'язковим з іншого боку. На ER-діаграмах обов'язковий клас приналежності може бути позначений перпендикулярної лінією, що перекреслює лінію зв'язку поблизу суті, необов'язковий клас приналежності - порожнім гуртком на лінії зв'язку [4].
Построение концептуальной модели предметной области
При побудові ER-діаграм можуть використовуватися генералізація, агрегація і угрупування сутностей [3, 12].
На рис. 15 представлений фрагмент ER-діаграми, що відображає роботу магазину.
Сутність Працівник має два підтипи - Директор і Продавець. Між сутностями Магазин й Працівник зв'язок має характер «один до багатьох» (один магазин обслуговується багатьма працівниками), між сутностями Директор і Продавець - «один до багатьох» (один директор керує багатьма продавцями), між сутностями Продавець і Товар - «багато до багатьох »(кілька продавців продає безліч різних товарів). Клас приналежності більшості зв'язків є обов'язковим. Він є необов'язковим для зв'язку фасує між сутностями Продавець і Товар з боку сутності Продавець (не кожен продавець фасує товари) (див. рис. 15).
Функціональна модель даних
Ця модель була запропонована Шіпменом в 1981 р. [12].
Модель
грунтується на положенні про можливість
представлення зв'язків між даними, що
зберігаються в базі даних, у вигляді
математичних функцій. Тому в функціональної
моделі даних використовуються два
основні поняття: сутність і функція.
Рис. 15. Фрагмент ER-диаграммы, отображающей работу магазина
Сутність може являти собою об'єкт реального світу (абстрактна сутність) або бути текстовим рядком або числом (проста сутність). Застосування математичних функцій до конкретних сутностей при заданих значеннях аргументів дає однозначний результат.
Діаграми функціональної моделі даних багато в чому аналогічні ER-діаграм, але зв'язку між ними представлені у вигляді функцій [12].
Модель семантичних об'єктів
Модель вперше запропонована Кренке в 1988 р. [12].
База даних є сукупністю семантичних об'єктів. Кожен об'єкт відображає певний елемент реального світу і характеризується набором атрибутів. Зв'язки між об'єктами представляються атрибутами цих об'єктів.
Розглянемо діаграми семантичних об'єктів Магазин, Продавець, Товар (рис. 16):
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
||
|
|
|
|
|
Рис. 16. Диаграммы семантических объектов
Рядом с одним из атрибутов каждого семантического объекта приводится указатель ID, означающий, что данный атрибут используется в качестве идентификатора объекта. Для обозначения уникальности значений идентифицирующего атрибута указатель подчеркивается (для семантических объектов требование уникальности идентификатора не является обязательным).
Для каждого атрибута указана его кардинальность (минимальное и максимальное количество вхождений этого атрибута в объект). Например, если для атрибута Цена объекта Товар приводится кардинальность 1, 1, это означает, что товар обязательно должен иметь цену, и только одну. Атрибут Производитель объекта Товар имеет кардинальность 1, N. Это указывает на то, что один и тот же товар может изготавливаться одним или несколькими производителями (см. рис. 16). Атрибут Склад объекта Магазин имеет кардинальность 0, N. Следовательно, склад при магазине может отсутствовать, или их имеется несколько. Атрибуты, которые принимают более одного значения, называются многозначными.
В объекте Магазин имеется группированный атрибут Адрес. Атрибуты, входящие в его состав, объединены скобкой (см. рис. 16).
В объекте Магазин существует также атрибут объектного типа Продавец с кардинальностью 1, N (см. рис. 16). Это указывает на то, что данный объект связан с одним или несколькими объектами Продавец(в магазине могут работать один или несколько продавцов). Для обеспечения связи между рассматриваемыми объектами в объект Продавец обязательно должен входить атрибут Магазин, характеризующий этот объект (см. рис. 16).
Диаграммы семантических объектов допускают создание агрегированных объектов, подклассов объектов [ 12 ].