IDEF1X

IDEF1X — это методология семантического моделирования данных, используемая для проектирования реляционных баз данных. Она представляет собой расширение стандарта IDEF1 (Integration DEFinition for Information Modeling) и предназначена для создания логических схем данных, описывающих сущности, их атрибуты и связи между ними. IDEF1X была разработана в 1980-х годах в США как часть программы ICAM (Integrated Computer-Aided Manufacturing) и впоследствии принята в качестве федерального стандарта США (FIPS 184). Методология широко применяется в системном анализе, разработке корпоративных информационных систем и реинжиниринге бизнес-процессов.

История

Методология IDEF1X возникла в рамках программы ICAM, инициированной ВВС США в 1970-х годах для повышения эффективности производства с помощью компьютерных технологий. В рамках этой программы были разработаны методы IDEF0 (функциональное моделирование), IDEF1 (информационное моделирование) и IDEF2 (динамическое моделирование). В 1985 году было опубликовано расширение IDEF1, получившее название IDEF1X (IDEF1 Extended). Оно было создано для устранения недостатков исходной методологии, в частности для более точного отображения реляционных структур данных.

В 1993 году Национальный институт стандартов и технологий США (NIST) опубликовал стандарт FIPS 184, который закрепил IDEF1X как официальный метод моделирования данных для федеральных агентств. В России методология IDEF1X получила распространение в 1990-х годах вместе с внедрением западных подходов к проектированию информационных систем, таких как SADT и методологии семейства IDEF. В настоящее время IDEF1X используется в ряде CASE-средств (например, ERwin Data Modeler, PowerDesigner, Visio) и продолжает применяться в проектах, где требуется формализованное описание структуры данных.

Основные понятия

IDEF1X оперирует тремя основными категориями элементов: сущностями, атрибутами и связями. Модель данных, созданная в нотации IDEF1X, представляет собой граф, вершинами которого являются сущности, а рёбрами — связи между ними.

Сущности

Сущность — это абстракция реального объекта, процесса или явления, информация о котором хранится в базе данных. В IDEF1X сущности делятся на два типа:

• Независимые сущности — существуют без привязки к другим сущностям. Они имеют собственный первичный ключ, который не зависит от других сущностей. На диаграммах обозначаются прямоугольником с прямыми углами.
• Зависимые сущности — их существование зависит от другой сущности (родительской). Они наследуют первичный ключ от родительской сущности. На диаграммах обозначаются прямоугольником со скруглёнными углами.

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

Атрибуты

Атрибут — это характеристика сущности. В IDEF1X атрибуты делятся на:

• Ключевые атрибуты — входят в состав первичного ключа. На диаграмме они располагаются в верхней части прямоугольника сущности и отделяются от неключевых атрибутов горизонтальной чертой.
• Неключевые атрибуты — описывают свойства сущности, не участвующие в идентификации.

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

Связи

Связи определяют логические отношения между сущностями. В IDEF1X выделяют несколько типов связей:

• Идентифицирующая связь — связь, при которой дочерняя сущность наследует первичный ключ родительской сущности как часть своего собственного первичного ключа. Обозначается сплошной линией с точкой на конце у дочерней сущности.
• Неидентифицирующая связь — связь, при которой дочерняя сущность наследует внешний ключ, но не включает его в свой первичный ключ. Обозначается пунктирной линией.
• Категоризационная связь — связь, при которой одна сущность (обобщающая) делится на несколько подтипов (категорий). Используется для моделирования иерархий «общее-частное».
• Нерефлексивная связь — связь сущности с самой собой (например, «сотрудник — начальник»).

Каждая связь имеет мощность (кардинальность), которая указывает количество экземпляров дочерней сущности, связанных с одним экземпляром родительской. В IDEF1X мощность обозначается символами: «P» — ноль или один, «Z» — один и только один, «n» — ноль или более (по умолчанию), «1» — ровно один.

Нотация и правила

IDEF1X использует строгую графическую нотацию, которая отличается от других методов моделирования данных (например, «вороньи лапки» в нотации Чена или Мартина). Основные правила:

• Имена сущностей пишутся заглавными буквами.
• Имена атрибутов — строчными буквами.
• Первичный ключ отделяется от остальных атрибутов горизонтальной чертой.
• Внешние ключи обозначаются суффиксом «(FK)» после имени атрибута.
• Связи подписываются глагольными фразами (например, «содержит», «относится к»).

Методология требует, чтобы каждая сущность имела уникальный идентификатор, а связи не образовывали циклов (за исключением рефлексивных связей). Также в IDEF1X запрещены связи «многие-ко-многим» — они должны быть разбиты на две связи «один-ко-многим» с введением промежуточной сущности.

Применение

IDEF1X применяется в следующих областях:

• Проектирование реляционных баз данных — создание логических схем, которые затем преобразуются в физические модели для СУБД (Oracle, PostgreSQL, MySQL и др.).
• Системный анализ — документирование требований к данным в рамках разработки информационных систем.
• Реинжиниринг бизнес-процессов — описание информационных потоков и структур данных в организации.
• Образование — обучение основам моделирования данных и теории реляционных баз данных.

Методология часто используется совместно с IDEF0 для функционального моделирования и IDEF3 для описания процессов. В России IDEF1X применяется в государственных проектах, где требуется стандартизация описания данных, а также в коммерческих разработках, особенно в сфере банковского дела, логистики и промышленности.

Пример модели

В качестве примера можно рассмотреть модель данных для библиотеки. Сущность КНИГА имеет атрибуты: ISBN (первичный ключ), название, год издания. Сущность АВТОР имеет атрибуты: ID_автора (первичный ключ), имя, фамилия. Между ними устанавливается неидентифицирующая связь «написал» (многие-ко-многим), которая разбивается на промежуточную сущность КНИГА_АВТОР с атрибутами: ISBN (FK), ID_автора (FK). В результате получается две связи «один-ко-многим»: КНИГА — КНИГА_АВТОР и АВТОР — КНИГА_АВТОР.

Критика

Методология IDEF1X подвергается критике за излишнюю сложность и строгость нотации, что затрудняет её освоение и применение в небольших проектах. Также отмечается, что IDEF1X ориентирована на реляционные базы данных и плохо подходит для моделирования нереляционных структур (NoSQL, графовые базы). В современных условиях многие разработчики предпочитают более гибкие нотации, такие как UML (диаграммы классов) или простые ER-диаграммы в стиле «вороньи лапки». Тем не менее, IDEF1X остаётся востребованной в средах, где требуется формальная стандартизация и документирование, особенно в крупных корпоративных и государственных проектах.

Источники

• FIPS PUB 184 — Integration Definition for Information Modeling (IDEF1X), National Institute of Standards and Technology, 1993.
• IDEF1X — стандарт моделирования данных, ISO/IEC 19761:2011.
• Чен П. П. Моделирование данных: методология IDEF1X. — М.: Финансы и статистика, 2002.
• Буч Г. Объектно-ориентированный анализ и проектирование с примерами на C++. — М.: Вильямс, 2008 (раздел о моделировании данных).
• Документация CASE-средств ERwin Data Modeler и PowerDesigner.