Методология IDEF1

Метод IDEF1 позволяет построить модель данных, эквива­лент­ную реляционной модели в третьей нормальной форме. В настоящее время на основе совершенствования методологии IDEF1 создана ее новая версия – ме­­то­до­логия IDEF1X, разработанная с учетом таких требований, как просто­та изучения и возможность автоматизации. IDEF1Х-диаграммы ис­пользуются рядом распространенных СASE-средств: ERWin (п. 3.1), Design/IDEF.

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

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

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

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

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

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

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

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

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

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

Пунктирная линия изображает неидентифицирующую связь (рисунок 3.2.3.2). Сущ­ность-потомок в неидентифицирующей связи будет незави­си­мой от идентификатора, если она не является также сущностью-потомком в какой-либо идентифицирующей связи.

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

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