Типы связей в нотации Чена
Существуют обязательные и необязательные связи. Необязательная связь–это связь, в которой могут участвовать не все экземпляры сущностей. В обязательной связи участвуют все экземпляры хотя бы одной сущности. Обязательная связь бывает трех подтипов:
слабая связь;
связь супертип-подтип;
ассоциативная связь.
Обязательная связь описывает связь между независимой и зависимой сущностями. Все экземпляры зависимой сущности могут существовать только при наличии экземпляров независимой сущности.
В слабой связи существование одной из сущностей зависит от существования второй сущности, то есть ключ одной сущности является частью составного ключа другой сущности. Сущность может участвовать только в одной слабой связи.
В связи супертип-подтип общие атрибуты всех сущностей определяются в сущности супертипа. Сущность подтип наследует все атрибуты супертипа.
Ассоциативная связь
Каждый экземпляр ассоциативной связи может существовать только при условии существования определенных экземпляров каждой из взаимосвязанных сущностей.
Ассоциативный объект – это объект, который одновременно является и сущностью, и связью. Связь между независимыми сущностями имеет атрибуты, которые определяются в зависимой сущности. Таким образом, ассоциативный объект определяется в терминах атрибута связи между независимыми сущностями.
ERD в нотации Чена строится по следующим правилам:
Каждая сущность, каждый атрибут и связь должны иметь имя. Связь супертипа и подтипа и ассоциативная связь может не иметь имени.
Имя сущности должно быть уникально в рамках модели данных.
Имя атрибута должно быть уникально в рамках сущности.
Каждый атрибут должен иметь определенный тип данных.
Сущность необязательной связи должна иметь ключевой атрибут. Ключевой атрибут должна иметь так же сущность супертип связи супертип-подтип и необязательная сущность в обязательной связи.
Подтип связи супертип-подтип не может иметь ключевой атрибут.
Диаграммы атрибутов в классической модели Чена
Каждая сущность обладает одним или несколькими атрибутами, которые однозначно идентифицируют каждый экземпляр сущности. Любой из этих атрибутов может быть определен как ключевой. Детализация сущности в классической модели Чена осуществляется с помощью диаграмм атрибутов, которые определяют ассоциативные с сущностью атрибуты. Диаграммы атрибутов состоят из детализирующей сущности соответствующих атрибутов и доменов. Домен описывает область допустимых значений атрибута. На диаграмме атрибутов каждый атрибут представляется в виде связи между сущностью и соответствующим доменом.
Для идентификации ключевого атрибута на диаграмме атрибутов используется подчеркивание имени атрибута.
Диаграмма категоризации
Сущность может быть разделена и представлена в виде двух или более сущностей-категорий (подтипов). Каждая сущность-категория имеет общие атрибуты и отношения, которые определяются на верхнем уровне один раз, а затем наследуются на нижнем.
Сущности-категории могут также иметь свои собственные атрибуты и отношения. Сущности-категории в свою очередь также могут быть декомпозированы на собственные сущности-категории на следующем уровне. Расщепленная на категории сущность в терминах модели Чена называется общей сущностью, а в терминах CASE-пакета – супертип.
На промежуточных уровнях декомпозиции одна и та же сущность может быть как общей сущностью, так и сущностью категории. Для демонстрации композиции сущностей используется диаграмма категоризации. Диаграмма категоризации в модели Чена содержит общую сущность, две и более сущностей-категорий и специальный узел-дискриминатор.
Дискриминаторы бывают четырех типов:
Определяет полное и обязательное вхождение, т.е. сущность должна принадлежать к одной и только одной из следующих категорий.
Определяет полное, но необязательное вхождение, т.е. сущность, может быть одной и только одной из категорий
Определяет неполное и обязательное вхождение, т.е. сущность должна относиться, по крайней мере, к одной из категорий.
Определяет неполное и необязательное вхождение, т.е. сущность может быть, по крайней мере, одной категорией.