Стандарт idef1x

Как и во всех других моделях, основанных на диаграммах “Сущность-связь”, основные элементы диаграммы IDEF1X, это сущности, атрибуты и связи.

В IDEF1X различают завистные и независимые сущности, называемые, иногда, также сильными и слабыми сущностями соответственно.

Независимые сущности обозначаются прямоугольником, зависимые ­- прямоугольном со скругленными углами.

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

Связь между родительской и дочерней сущностями называется идентифицирующей.

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

По своей мощности идентифицирующая связь имеет тип “один ко многим”, много на стороне зависимой сущности.

При установлении идентифицирующей связи атрибуты первичного ключа родительской сущности переносятся в состав первичного ключа дочерней сущности, образуя внешний ключ (Foreign Key /FK/), этот атрибут не может оставаться незаполненным, так как в противном случае теряется связь между дочерней и родительской сущностями.

Процесс переноса внешнего ключа родительской сущности в дочернюю принято называть “миграцией ключей”.

На рисунке 3.10 показан пример определения зависимой сущности Заказ, через независимую сущность Клиент. В данном примере заказ принципиально не может существовать без клиента.

Рисунок 3.10 – Пример определения зависимой сущности

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

Рассмотрим пример, предположим, что сотрудник некой организации может как числится в каком-то отделе, так и не принадлежать ни какому отделу (см. рисунок 3.11).

Рисунок 3.11 – Пример неидентифицирующей связи между сущностями

Интересным примером неидентифицирующей связи является рекурсивная связь. В примере на рисунке 3.12 с помощью нерекурсивной связи задаются руководители сотрудника.

Рисунок 3.12 – Пример рекурсивной связи

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

В IDEF1X используются приведенные в таблице 3.2 обозначения мощности связи на стороне дочерней сущности.

Таблица 3.2 ­– Мощность связей

	0, 1 или много
P	1 или много
Z	0 или 1
3	Точно N=3

Наряду с идентифицирующими и неидентифицирующими связями в IDEF1X используются связи типа многие ко многим. Пример такой связи между сущностями показан на рисунке 3.13.

Связь многие ко многим является временным типом связи, используемой на начальной стадии анализа, в дальнейшем она преобразуется путем введения дополнительной сущности (см. рисунок 3.14).

Рассмотрим типы зависимых сущностей.

Характеристическая – связана только с одной родительской и характеризует ее (см., например, рисунок 3.10).

Рисунок 3.13 – Пример связи многие ко многим

Ассоциативная – связана с несколькими родительскими сущностями (см., например, рисунок 3.14).

Рисунок 3.14 – Пример разделения связи многие ко многим

Именующая – частный случай ассоциативной, не имеющая собственных атрибутов (только атрибуты родительских сущностей).

Категориальная – дочерняя сущность в иерархии наследования.

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

Категориальная сущность иногда также называется подтипом, в этом случае родительская сущность, стоящая на верхнем уровне иерархии, называется супертипом.

Рассмотрим пример. Предположим, что сотрудники некоторой организации могут быть: штатными сотрудниками, совместителями и консультантами.

Если на диаграмме представить, что сотрудники могут быть лишь штатными сотрудниками и совместителями, то это будет не полная категория, такая связь обозначается кружком с одной горизонтальной линией внизу (см. рисунок 3.15).

Рисунок 3.15 – Пример неполной категории

На рисунке 3.16 показан пример полной категории.

Рисунок 3.16 – Пример полной категории