Введение в формальные методы описания бизнес-процессов. Кулябов Д.С - 49 стр.

UptoLike

Составители:

Рубрика:

4.5. Синтаксис и семантика IDEF1X 49

атрибуты первичных ключей родительского объекта, переданные дочернему

объекту через их связь. Передаваемые атрибуты называются мигрирующими.

Рис. 4.3. Структура сущности

При разработке модели зачастую приходится сталкиваться с сущностями,

уникальность которых зависит от значений атрибута внешнего ключа. Для

этих сущностей (для уникального определения каждой сущности) внешний

ключ должен быть частью первичного ключа дочернего объекта.

Дочерняя сущность, уникальность которой зависит от атрибута внешнего

ключа, называется зависимой сущностью. В обозначениях IDEF1X зависи-

мые сущности представлены в виде закруглённых прямоугольников (рис. 4.4).

Рис. 4.4. Зависимая от идентификатора сущность

Зависимые сущности далее классифицируются на сущности, которые не

могут существовать без родительской сущности, и сущности, которые не мо-

гут быть идентифицированы без использования ключа родителя (сущности,

зависящие от идентификации). Сущности, независящие при идентификации

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

независимые сущности представлены в виде прямоугольников (рис. 4.5).