Метод IDEF1 строит эквивалент реляционной модели в третьей нормальной форме. Ныне на основе методологии IDEF1 создана новая методология IDEF1X, автоматизируемая и простая в изучении. IDEF1X-диаграммы используются в ряде CASE-средств ( ERwin, Design/IDEF и др.).
В IDEF1X сущность независима, если ее экземпляр можно однозначно идентифицировать без определения отношений с другими сущностями. Сущность называется зависимой, если идентификация экземпляра сущности зависит от его отношения к другой сущности
Сущность имеет уникальное имя и номер, разделяемые знаком "/" над блоком.
Связь можно определить дополнительно указанием степени или мощности (количества экземпляров сущности-потомка, возможных для каждого экземпляра сущности-родителя). В IDEF1X допустимы следующие мощности связей:
- каждый экземпляр сущности-родителя должен иметь хотя бы один связанный с ним экземпляр сущности-потомка;
- любой экземпляр сущности-родителя должен иметь не более одного экземпляра сущности-потомка;
- каждый экземпляр сущности-родителя имеет фиксированное количество экземпляров сущности-потомка.
- каждый экземпляр сущности-родителя может иметь любое количество экземпляров сущности-потомка;
Связь называется идентифицирующей при однозначном определении экземпляра сущности-потомка связью с сущностью-родителем, иначе она неидентифицирующая.
Связь изображается линией между сущностью-родителем и сущностью-потомком с точкой на конце линии у сущности-потомка.
Идентифицирующая связь изображается сплошной линией. Сущность-потомок в идентифицирующей связи зависит от идентификатора; сущность-родитель может быть как независимой, так и зависимой от идентификатора сущностью, что определяется ее связями с другими сущностями.
Пунктиром изображают неидентифицирующую связь. Сущность-потомок в неидентифицирующей связи независима от идентификатора, если она не является также сущностью-потомком в какой-либо идентифицирующей связи.
Атрибуты изображаются списком имен внутри блока сущности; определяющие первичный ключ размещены сверху списка и отделены от прочих горизонтальной чертой.
Сущности могут иметь также внешние ключи (Foreign Key) для использования как часть или целый первичный ключ или неключевой атрибут. Внешний ключ помещается внутрь блока сущности имен атрибутов; за ним идут буквы FK в скобках.
На ER-диаграммах сущность обозначается прямоугольником, содержащим имя сущности, а связь - ромбом, с линией связи с каждой из взаимодействующих сущностей. Числа над линиями дают степень связи.
Связи многонаправлены и могут иметь атрибуты (кроме ключевых). В необязательную (optional) связь могут входить не все экземпляры сущности.
В полной (total) связи участвуют все экземпляры хотя бы одной из сущностей; экземпляры такой связи существуют только при существовании экземпляров другой сущности; она может иметь один из 4-х видов: обязательная, слабая, "супертип-подтип" и ассоциативная связь.
Обязательной (mandatory) связью описана связь между "независимой" и "зависимой" сущностями. Все экземпляры зависимой ("обязательной") сущности могут существовать только если есть экземпляры независимой ("необязательной") сущности; экземпляр "обязательной" сущности может существовать только если есть определенный экземпляр "необязательной" сущности.
В слабой (weak) связи существование одной из сущностей, принадлежащей некоторому множеству ("слабой") зависит от существования сущности, принадлежащей другому множеству ("сильной"), т.е. экземпляр "слабой" сущности можно идентифицировать только экземпляром "сильной" сущности. Ключ "сильной" сущности - часть составного ключа "слабой" сущности.
Для "слабой" сущности обязательно есть бинарная слабая связь. Сущность может быть "сильной" в одной связи и "слабой” в другой, но не более, чем в одной связи. Слабая связь может быть без атрибутов.
Сущность-супертип определяет общие характеристики (атрибуты) типа, сущность-подтип наследует все характеристики супертипа. Экземпляр подтипа существует только если есть определенный экземпляр супертипа. Подтип не имеет ключа, а импортирует его из супертипа. Сущность как супертип в одной связи, может быть подтипом в другой. Связь супертипа не имеет атрибутов.
В ассоциативной связи каждый ее экземпляр (ассоциативный объект) существует только если есть определенные экземпляры каждой из взаимосвязанных сущностей. Ассоциативный объект одновременно и сущность и связь. Ассоциативна связь между несколькими "независимыми" и одной "зависимой" сущностью. Атрибуты связи между независимыми сущностями даны в зависимой сущности, т.е. зависимая сущность определяется терминами атрибутов связи между остальными сущностями.
ER-диаграмма следует правилам:
- каждая сущность, атрибут и связь должны иметь имя (связь супертипа или ассоциативная связь могут быть безымянными);
- имя сущности уникально в рамках модели данных;
- имя атрибута уникально в рамках сущности;
- имя связи уникально, если для нее генерируется таблица БД;
- каждый атрибут имеет определение типа данных;
- сущность в необязательной связи, сильная сущность в слабой связи, супертип в связи "супертип-подтип" и необязательная сущность в обязательной (полной) связи имеют ключевые атрибуты;
- подтип в связи "супертип-подтип" не имеет ключевого атрибута;
- ассоциативная или слабая связи имеют только одну ассоциативную (слабую) сущность;
- связь не может быть одновременно ассоциативной, обязательной или "супертип-подтип".
