Нотация IDEF1X и возможности логического моделирования в ERWin

Основан на подходе Чена. создана усовершенствованная разновидность IDEF1X. Используется в ряде Case-средств(ERWin, Design/IDEF и др.). Сущность в методе IDEF является независимой от идентификаторов, если каждый экземпляр сущности может быть однозначно идентифицирован без определения его отношений с другими сущностями. Сущность называется зависимой от идентификаторов, если однозначная идентификация экземпляра сущности зависит от его отношения к другой сущности. Каждой сущности присваивается уникальное имя и номер, разделенные косой чертой.

Связь - это ассоциация между сущностями, при которой, как правило, каждый экземпляр одной сущности, называемой родительской сущностью, ассоциирован с произвольным, количеством экземпляров второй сущности, называемой сущностью-потомком. В то же время, каждый экземпляр сущности - потомка, ассоциирован в точности с одним экземпляром сущности-родителя. Т.о, потомок - это слабая сущ. по Чену.

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

1) N - каждый экземпляр сущ.-родителя может иметь 0, 1 или > одного, связанного с ним экземпляра сущ-потомка;

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

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

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

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

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

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