Просмотр исходного текста страницы Модель сущность-связь

== Сущности ==
{{Определение
|definition =
'''Сущностью''' (англ. ''entity'') называют некоторый объект, обладающий именем и атрибутами.}}
{{Определение
|definition =
'''Атрибутом''' (англ. ''attribute'') называют некоторую характеристику объекта, содержащую имя атрибута и домен и обладающую некоторыми свойствами. }}

[[Файл:Student сущность.png|400px|thumb|right|Пример сущности $Student$]]

Домен не указывает конкретный физический тип, однако позволяет указать, какие атрибуты будут иметь одинаковый тип в физической модели. Так, например, атрибуты $FirstName$ и $LastName$ сущности $Student$ будут обладать одним физическим типом.

'''Типы доменов:'''
* Простой {{---}} атомарное значение, например, $id$
* Составной {{---}} состоящий из нескольких значений, например, <code>passport { series: char(4), number: char(6) }</code>

'''Свойства атрибутов:'''

{| class="wikitable" style="background-color:#FFF; text-align:center"
! style="background-color:#F0F8FF;" |Обозначение
! style="background-color:#F0F8FF;" |Свойство
|-
|'''M'''
|Обязательное (англ. ''mandatory'')
|-
|'''O'''
|Необязательное (англ. ''optional'')
|-
|'''PK'''
|Основной ключ (англ. ''primary key'')
|-
|'''Kn'''
|Дополнительный ключ $n$ (англ. ''key'')
|}

== Связи ==

[[Файл:ERM Student Group.png|400px|thumb|right|Пример связи]]
'''Связь''' обозначается линией с двумя концами и обладает следующими характеристиками:
* Имя
* Связываемые сущности и их роли
* Тип связи (задается типами концов)
 
На примере показано, что студен принадлежит одной группе, а в группе может быть несколько студентов (в том числе нуль). 

'''Типы концов:'''
{| class="wikitable" style="background-color:#FFF; text-align:center"
! style="background-color:#F0F8FF;" |Тип
! style="background-color:#F0F8FF;" |Обозначение
|-
|style="padding: 10px" |Один
|[[Файл:Db one.png|100px]]
|-
|style="padding: 10px" | Много
|[[Файл:Db many.png|100px]]
|-
|Обязательный
|[[Файл:Db mandatory.png|100px]]
|-
|style="padding:20px"| Необязательный
|[[Файл:Db optional.png|100px]]
|}

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

'''Примеры:'''
{| class="wikitable" style="background-color:#FFF; text-align:center"
! style="background-color:#F0F8FF;" |Связь
! style="background-color:#F0F8FF;" |Значение
! style="background-color:#F0F8FF;" |По умолчанию
|-
|[[Файл:Many to many.png|200px]]
|Многие ко многим
|style="padding: 10px"|Единственность, необязательность
|-
|[[Файл:One to many.png|200px]]
|Один ко многим
|Единственность, обязательность
|-
|[[Файл:One to one.png|200px]]
|Один к одному
|Единственность, обязательность
|-
|}

== Ассоциации ==
{{Определение
|definition =
'''Ассоциацией''' (англ. ''association'') называется многосторонняя связь, нагруженная произвольными не ключевыми атрибутами.}}

[[Файл:Association contract.png|400px|thumb|right|Графическое обозначение ассоциации]]
'''Замечания:'''
* Ассоциация обозначается прямоугольником с закругленными краями
* Может содержать не ключевые атрибуты
* Имеет произвольное количество концов с произвольными ролями и типами

[[Файл:Db erm contract.png|400px|thumb|left|Пример с ассоциацией]]
Проанализируем пример. Контракт заключается с одним студентом, на одну специальность, которая может быть не указана на момент заключения контракта. У контракта должен быть один или более поручителей. Контракт нагружен информацией о датах, когда контракт был подготовлен (обязательный атрибут) и подписан (опциональный атрибут, поскольку контракт может быть подписан не сразу).

'''Как понять, что использовать: ассоциацию, связь или сущность?'''
* Если нужно два конца и нет нагруженности, используем связь
* Если нужно идентифицировать, используем сущность, поскольку связь не идентифицируется из-за отсутствия ключевых элементов
* Иначе используется ассоциация

[[Файл:Association неопределнность нотации.png|thumb|right|400px|Пример неоднозначности интерпретации связей]]
Многостороннюю ассоциацию можно интерпретировать по-разному. Так, например, на рисунке может быть обозначено следующее:
* У каждого контракта есть один поручитель
* Можно быть поручителем у ровно одного контракта

== Слабые сущности ==
{{Определение
|definition =
'''Слабой сущностью''' называется сущность, у которой недостаточно атрибутов для идентификации.}}
Слабая сущность обозначается двойным прямоугольником.
{{Определение
|definition =
'''Идентифицирующей связью''' называется связь, позволяющая слабой сущности получить атрибуты, необходимые для ее идентификации.}}
[[Файл:Weak entity.png|400px|thumb|right|Пример слабой сущности]]
Идентифицирующая связь обозначается двойной сплошной линией.

Например, название учебной группы уникально в рамках одного университета. Если же мы будем рассматривать несколько университетов, для идентификации группы будет недостаточно лишь ее названия. В таком случае можно считать группу слабой сущностью, для идентификации которой необходим университет.

== Альтернативные нотации ==