Комплексное определение для информационного моделирования (IDEF1X), страница 47

   ((мм: домен): I имеет предка: J, если определено:

               (мм: домен): у I есть родитель: J

               или

                           (мм: домен): у I есть родитель: K,

                           (мм: домен): у K есть предок: J).

Ни один псевдоним сущности не может быть предком-псевдонимом для самого себя.

(для всех *) ( ((мм: псевдоним сущности): у I нет предка-псевдонима: I)).

Б.5.3.4 Домен-псевдоним не может иметь доменного правила

Для базовых и типизированных доменов наличие  доменного правила является необязательным, но домены-псевдонимы не могут иметь доменные правила.

(для всех *) ( ((мм: домен-псевдоним): у I нет доменного правила: Х)).

Б.5.3.5 Сущность в представлении может быть опознана только по имени

Ни одна пара неодинаковых представлений сущностей одного представления не может иметь синонимичные имена. Две сущности являются синонимичными если существует псевдоним для другой сущности либо оба являются псевдонимами для какой-либо сущности.

Две сущности являются синонимами, если они являются одной и той же сущностью либо имется истинная сущность, которая является синонимом другой сущности.

(для всех *)

   ((мм: множество): Е1 является синонимом Е2, если определено:

           Е1=Е2

           Или (для некоторых Е)

               ((мм: псевдоним сущности): у Е1 есть истинный: Е, (мм: сущность): Е2 имеет синоним: Е)

           Или (для некоторых Е)

               ((мм: псевдоним сущности): у Е2 есть истинный: Е, (мм: сущность): Е1 имеет синоним: Е)

Ни одна пара неодинаковых представлений сущности в одном представлении не может быть синонимами.

(для всех *)

   (если (мм: представление сущности): I1 имеет представление V,

               (если (мм: представление сущности): I2 имеет представление V,

               (если (мм: представление сущности): I1 имеет представление Е1,

               (если (мм: представление сущности): I2 имеет представление Е2,

               Е1 ≠ Е2

   тогда

                ((мм: сущность): Е1 не имеет синоним: Е2)).

Б.5.3.6 Атрибут в представлении может быть опознан только по имени

Ни одна пара атрибутов  сущности в представлении не может иметь синонимов в том же представлении. Два домена являются синонимами, если существует другой псевдоним, либо оба являются псевдонимами какого-либо домена.

Два домена являются синонимами, если они одинаковые, либо их истинные домены являются синонимами.

(для всех *)

   ((мм: домен): D1 имеет синоним: D2, если определено:

               D1=D2

               или (для некоторых D)

                           ((мм: псевдоним домена): D1 имеет истинный: D,

                           (мм: домен): D2 имеет синоним: D)

или (для некоторых D)

                           ((мм: псевдоним домена): D2 имеет истинный: D,

                           (мм: домен): D1 имеет синоним: D)

Ни одна пара различных атрибутов сущности в одном и том же представлении не может быть синонимичной.

(для всех *)

   (если (мм: атрибут сущности в представлении): I1 имеет в представлении идентификатор: V,

   (если (мм: атрибут сущности в представлении): I2 имеет в представлении идентификатор: V,

   (если (мм: атрибут сущности в представлении): I1 имеет домен: D1,

   (если (мм: атрибут сущности в представлении): I2 имеет домен: D2,

   D1≠D2

тогда

   (мм: домен): D1 не является синонимом: D2).

Б.5.3.7 Ограничения на атрибут множества в представлении модели «сущность-связь»

На всех уровнях модели «сущность-связь», где атрибут является необязательным, перемещаемым либо принадлежащим, он не определен.

(для всех *)

   ( если (мм: атрибут сущности в представлении): I имеет представление сущности: J,

               (мм: сущность в представлении): J имеет представление: К,

               (мм: представление): K имеет уровень: L,

   тогда

               L имеет значение: ‘сущность-связь’

               если

(для некоторых Х) ((мм: атрибут сущности в представлении): I не обладает свойством ненулевой: Х),

(для некоторых Х) ((мм: атрибут сущности в представлении): I не обладает свойством принадлежащий: Х),

(для некоторых Х) ((мм: атрибут сущности в представлении): I не обладает свойством перемещаемый: Х)).

Б.5.3.8 Сущность диска является родовой или предком рода

(для всех *)

   (если (мм: кластер) I имеет идентификатор диска: Eid

   тогда

               (мм: кластер): I имеет родовой идентификатор: Eid

               или (для некоторых K, J)

                           ((мм: кластер): I принадлежит к роду: K,

                           (мм: категория): К имеет родового предка: J,

                           (мм: представление множества): J имеет идентификатор сущности: Eid))).

Б.5.3.9 Полный кластер не может иметь необязательного различителя

Если категория является полной и имеет различитель, тогда он не может быть необязательным. На уровне модели «сущность-связь», не определена необязательность дискриминатора.

(для всех *)

   (если (мм: кластер): свойство полноты I: ‘истина’,

             (мм: кластер): I имеет атрибут сущности в представлении: J,

             (мм: атрибут сущности в представлении): J имеет свойство «ненулевой»: Х)

   тогда

               Х=’истина’).

Б.5.3.10 Ограничения на первичные ключи

У представления сущности имеются атрибуты первичного ключа, они не могут быть нулевыми, если только это – не уровень модели «сущность-связь».

У каждой сущности должен быть список атрибутов первичных ключей.

(для всех *)

   ((мм: представление сущностей): I имеет первичные ключи; L, если определено:

               список(L),

               nodup(L),

               (для всех D)

                           (если представитель (L,D)

                           тогда (для некоторых J)

                                      ((мм: представление сущности): I содержит: J,

                                      ((мм: атрибут первичного ключа): J содержит домен: D)),

                           (для всех J,D)

                                      (если ((мм: представление сущности): I содержит: J,

                                                (мм: атрибут первичного ключа): J содержит домен: D))

                                      тогда

                                                  представитель(L,D))).