38. Методология информационного моделирования idef1x

IDEF1X - семантический подход моделирования данных, основанный на концепции "сущность-отношение"; инструмент, используемый для анализа информационной структуры элементов.

Информационная модель, построенная на IDEF1X, представляет собой логическую структуру информации об объектах системы.

Информационная модель - дополнение к функциональной модели (IDEF0), она детализирует объекты, которыми манипулируют функции системы.

IDEF1X можно рассматривать как логическую структуру БД.

Отношение может быть идентифицирующим, тогда сущность-потомок наследует ключевые атрибуты сущности-родителя.

Отношение родитель-потомок должно читаться как предложение.

Сущность - множество реальных или абстрактных объектов, обладающих некоторыми атрибутами или характеристиками.

Отдельный элемент - это экземпляр сущности.

Информационная модель - это множество элементов E {e₁, e₂, ..., e_n} и отношений между ними R {r₁, r₂, ..., r_k}.

Причём множество функций формируется на основе множества F - функций функциональной модели.

39. Правила определения сущностей

1. Сущность должна иметь уникальное имя.

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

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

4. Каждая сущность может обладать любым количеством отношений с другими сущностями.

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

40. Правила атрибутов. Первичные и альтернативные ключи

Атрибут - поименованная характеристика сущности, принимающая значение из некоторого множества значений;

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

ПРАВИЛА ОПРЕДЕЛЕНИЯ АТРИБУТА

1. Каждый атрибут каждой сущности обладает уникальным именем.

2. Сущность может обладать любым количеством атрибутов.

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

4. При не идентифицирующем отношении сущность-потомок наследует атрибут (или атрибуты), составляющий первичный ключ сущности-родителя в состав собственных не ключевых атрибутов.

ПЕРВИЧНЫЕ И АЛЬТЕРНАТИВНЫЕ КЛЮЧИ

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

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

При наличии нескольких возможных ключей один из них назначается первичным, а остальные формируют альтернативные ключи.

41. Правила определения отношений

1. При определении отношений типа родитель-потомок экземпляр родителя может быть связан с любым количеством экземпляров потомков, а экземпляр потомок только с одним родителем.

2. Идентифицирующее отношение сущность-потомок всегда является зависимой от идентифицирующей сущности.

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

4. Отношения определяются мощностью - какое количество экземпляров сущности потомка может существовать для каждого экземпляра сущности родителя.

0, 1 или более N (в точности N)

Z (0 или 1) P (один или более)

5. Каждое отношение именуется глаголом или глагольной формой

(пример: Содержит, Формирует).

6. Имя отношения от родительской сущности к дочерней должно подбираться так, чтобы при чтении последовательности "родительская сущность → отношение → дочерняя сущность" получалось предложение

(пример: Сотрудник имеет Должность).

7. При отношении многие-ко-многим указываются имена отношений в обоих направлениях.