Создание модели данных с помощью CASE-средств. IDEF1X

Уровни моделирования

Стандарт IDEF1X является одним из инструментов проектирования реляционной модели данных, который используется в соответствующих CASE-средствах.

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

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

Основные понятия логического уровня

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

Тип сущности определяется характером связей с другими сущностями.

Типы связей логического уровня:

· идентифицирующая связь один-ко-многим;

· неидентифицирующая связь один-ко-многим;

· многие-ко-многим.

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

Неидентифицирующая связь устанавливается между двумя независимыми сущностями. При этом внешний ключ не входит в состав первичного ключа.

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

Мощность связи (Cardinality) – это отношение числа экземпляров родительской сущности к числу экземпляров дочерней сущности.

Различают четыре типа мощности:

· по умолчанию одному экземпляру родительской сущности соответствует 0,1 или много экземпляров дочерней сущности;

· 1 или много, помечается символом P;

· 0 или 1, помечается символом Z;

· числом отмечается точное количество экземпляров.

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

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

На логическом уровне моделирования могут быть заданы ограничения ссылочной целостности.

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