Метод IDEF1 (ERwin) – модель данных, эквивалентная реляционной БД

Метод IDEF1 также основан на подходе Чена и позволяет построить модель данных, эквивалентную реляционной модели в третьей нормальной форме. Используется на стадии проектирования ПО.В настоящее время на основе совершенствования метода IDEF1 создана его новая версия - метод IDEF1X, разработанный с учетом таких требований, как простота для изучения и возможность автоматизации. IDEFlX-диаграммы используются в ряде распространенных CASE-средств (в частности, ERwin, Design/IDEF).

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

Каждой сущности присваиваются уникальное имя и возможно номер, разделяемые косой чертой “/” и помещаемые над блоком.

Рис. 2.30. Независимые (а) и зависимые (б) от идентификатора сущности

Связь может дополнительно определяться с помощью указания степени или мощности (количества экземпляров сущности-потомка, которое может существовать для каждого экземпляра сущности-родителя). В IDEF1X могут быть выражены следующие мощности связей:

• каждый экземпляр сущности-родителя может иметь ноль, один или более одного связанного с ним экземпляра сущности-потомка;

• каждый экземпляр сущности-родителя должен иметь не менее одного связанного с ним экземпляра сущности-потомка;

• каждый экземпляр сущности-родителя должен иметь не более одного связанного с ним экземпляра сущности-потомка;

• каждый экземпляр сущности-родителя связан с некоторым фиксированным числом экземпляров сущности-потомка.

Если экземпляр сущности-потомка однозначно определяется своей связью с сущностью-родителем, то связь называется идентифицирующей (по сути связь по ключевым полям между двумя таблицами, отношение один-к-одному), в противном случае – неидентифицирующей.

Связь изображается линией, проводимой между сущностью-родителем и сущностью-потомком, с точкой на конце линии у сущности-потомка (рис. 2.31). Мощность связи может принимать следующие значения: N — ноль, один или более, Z — ноль или один, Р - один или более. По умолчанию мощность связи принимается равной N.

Рис. 2.31. Графическое изображение мощности связи

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

Рис. 2.32. Идентифицирующая связь

Пунктирная линия изображает неидентифицирующую связь (рис. 2.33). Сущность-потомок в неидентифицирующей связи может не зависеть от идентификатора (но может и зависеть). Т.е. это случай когда допускается не заполнять соответствующее поле сущности-потомка. Для БД показывает отношение один-ко-многим, многие-ко-многим. В качестве сущности-родителя обычно выступают таблицы-справочники.

Рис. 2.33. Неидентифицирующая связь

Атрибуты изображаются в виде списка имен внутри блока сущности. Атрибуты, определяющие первичный ключ, размещаются наверху списка и отделяются от других атрибутов горизонтальной чертой (см. рис. 2.32 и 2.33). В некоторых версия ПО черта может отсутствовать, но может быть символ ключа.

Сущности могут иметь также внешние ключи (ForeignKey), которые могут использоваться в качестве части или целого первичного ключа или неключевого атрибута. Внешний ключ изображается с помощью помещения внутрь блока сущности имен атрибутов, после которых следуют буквы FK в скобках (см. рис. 2.32 и 2.33).