Моделирование данных. Методология idef1x. Основные понятия.
Компонентами IDEF1X-модели являются:
1. Сущности
Независимые от идентификаторов сущности
Зависимые от идентификаторов сущности
2. Отношения
Отношения, идентифицирующие связи
Отношения, не идентифицирующие связи
Отношения категоризации
Неспецифические отношения
3. Атрибуты/ключи
Атрибуты
Первичные ключи
Альтернативные ключи
Внешние ключи
Типы сущностей и связей между ними.
Сущность" представляет множество реальных или абстрактных предметов (людей, объектов, мест, событий, состояний, идей, пар предметов и т.д.), обладающих общими атрибутами или характеристиками. Отдельный элемент этого множества называется экземпляром сущности. Реально существующий объект или предмет может быть представлен в нескольких сущностях модели данных. Например, Джон Дол может быть экземпляром каждой из сущностей СЛУЖАЩИЙ и ПОКУПАТЕЛЬ. Кроме того, экземпляр сущности может представлять комбинацию существующих объектов. Например, Джон и Мэри могут быть экземпляром сущности супружеская_пара.
Сущность является независимой от идентификаторов или просто независимой, если каждый экземпляр сущности может быть однозначно идентифицирован без определения его отношений с другими сущностями. Сущность называется зависимой от идентификаторов или просто зависимой, если однозначная идентификация экземпляра сущности зависит от его отношения к другой сущности.
Синтаксис сущностей
Сущность изображается блоком, как показано на рис. 3-1. Если сущность зависима от идентификаторов, то углы блока закругляются.
Специфическое отношение связи изображается линией, проводимой между сущностью-родителем и сущностью-потомком с точкой на конце линии у сущности-потомка. Мощность по умолчанию - "ноль, один или много".
Буква Р (positive) означает мощность "один или много" и помещается около точки. Буква Z (zero), помещенная около точки, означает мощность "ноль или один". Если мощность в точности равна некоторому числу N, это число (целое, положительное) помещается около точки (см. рис. 3-2).
Идентифицирующее
отношение между сущностью-родителем и
сущностью-потомком изображается сплошной
линией
Если существует идентифицирующее отношение, то сущность-потомок всегда является зависимой от идентификатора сущностью, изображаемой блоком с закругленными углами. При этом атрибуты первичного ключа сущности-родителя наследуются атрибутами первичного ключа сущности-потомка (см. также раздел 3.7 "Внешние ключи").
Пунктирная
линия изображает неидентифицирующее
отношение между сущностью-родителем и
сущностью-потомком (см. рис. 3-4). В
неидентифицирующем отношении и
сущность-родитель, и сущность-потомок
будут независимыми от идентификаторов
сущностями, если только хотя бы одна из
них не будет сущностью-потомком в
некотором другом отношении, являющемся
идентифицирующим отношением.
Отношению дается имя, выражаемое грамматическим оборотом глагола (глагол с необязательно присутствующими наречиями и предлогами) и помещаемое возле линии отношения. Имя каждого отношения между двумя данными сущностями должно быть уникальным, но имена отношений в модели не обязаны быть уникальными. Имя отношения всегда формируется с точки зрения родителя, так что может быть образовано предложение соединением имени сущности-родителя, имени отношения, выражения мощности и имени сущности-потомка.
Например утверждение "Проект состоит из одного или более заданий" может быть выведено из отношения, изображающего ПРОЕКТ в качестве сущности-родителя, ЗАДАНИЕ - в качестве сущности-потомка с символом мощности Р, СОСТОИТ_ИЗ - в качестве имени отношения. Обратите внимание, что отношение должно оставаться по-прежнему верным при формулировке в обратном направлении, хотя отношение "от потомка к родителю" явно не именуется. В предыдущем примере это звучит следующим образом: "ЗАДАНИЕ является частью в точности одного ПРОЕКТА".
Правила отношений
Специфическое отношение всегда имеет место между в точности двумя сущностями, сущностью-родителем и сущностью-потомком.
Экземпляр сущности-потомка всегда должен быть связан в точности с одним экземпляром сущности-родителя.
Экземпляр сущности-родителя может быть связан с любым числом (от нуля и более) экземпляров сущности-потомка, где это число зависит от указанной мощности.
В идентифицирующем отношении сущность-потомок всегда является зависимой от идентификаторов сущностью.
Сущность может быть связана с любым количеством других сущностей как в качестве потомка, так и в качестве родителя.