Сущности

Более сложные понятия

Язык ER-моделирования включает боле сложные понятия для сущностей, связей и атрибутов, которые рассматри­ва­ют­ся далее. К ним относятся:

Сущности: подтипы, супертипы, базисные и переходные сущности.

Связи: разрешение связей многие-ко-многим, взаимоисключаемость, непереместимость, квалифицированная степень, избыточность, каскадное удаление (и обновление)

А также такие понятия, как,

Уникальный идентификатор: определение посредством исключающих дуг.

Домен: определение, характеристики и применение.

Атрибуты: производный атрибут

Подтипы. Подтип (Subtype) - это разновидность сущности.

Свойства подтипов. Сущность может разделяться на два или несколько подтипов, обладающих общими атрибута­ми и/или связями, которые явно определяются один раз на более высоком уровне. Подтипы могут обладать собст­вен­ны­ми атрибутами и/или связями и, в свою очередь, разделяться на подтипы более низких уровней, и так далее.

Подтип сущности неявно наследует все атрибуты, связи и прикладные задачи соответствующей сущности более высокого уровня, именуемой супертипом.

Супертип. Супертип (Supertype) - это средство систематизации сущностей, обладающих подтипами. Одна и та же сущность может являться супертипом и, в то же время, представлять собой подтип другой сущности.

Подтипы сущности должны образовывать полную систему множеств. Это означает, что любой экземпляр суперти­па дол­жен при­на­д­лежать, по крайней мере, одному из подтипов. Во многих случаях это правило будет приводить к определению дополни­те­ль­ного подтипа с именем ДРУГАЯ СУЩ­НОСТЬ. Например, на рис. 7.30 введена сущность ДРУГОЕ ВОЗДУШ­НОЕ СУДНО. Как подтип, так и супертип должны удов­лет­ворять всем свойствам сущности, како­вы­ми они всегда являются.

Рис. 7.30. Супертип ВОЗДУШНОЕ СУДНО

На рис. 7.31 приведен пример установлен­ия связей между под­ти­пами и другими сущнос­тя­ми.

Рис. 7.31. Введение связей между подтипами и другими сущностями.

Базисные сущности. Базисная сущность (reference entity) - это термин для обозначения сущности, которая не имеет ни одного обязательного окончания связи, соединяющегося с ней. Такая сущность также используется для завершения точного определения других сущностей - именно поэтому базисная сущность, как правило, находится у окончания "один" нескольких многие-к-одному связей. Базисные сущности можно, в частности, представлять себе как сущности, которые могут существовать сами по себе, без связей или ссылок на другие сущности.

Переходные сущности. Переходная сущность (intersaction entity) - это сущность, которая служит исключитель­но для развязки свя­зи многие-ко-многим между двумя другими сущностями. Таким образом экземпляры образуемой переходной сущ­ности могут существовать только в контексте связей с соответствующими базисными сущностями (см. рис. 7.32).