2.4 Объединение моделей локальных представлений

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

На практике обычно используют бинарные объединения: ( N₁ + N₂ – X), где Х – количество совпадающих объектов.

		Модель результирующего объединения
Модель объединенного представления 1-го и 2-го				Модель объединенного представления (n-1)-го и n-го
МЛП1		МЛП2		МЛП(n-1)		МЛПn

МЛП₁ ;n – модель логического представления.

При объединении представлений используются три основополагающие концепции: идентичность, агрегация, обобщение.

Идентичность. Два и более элементов модели считаются идентичными, если они имеют одинаковые семантические значения.

Агрегация. Позволяет рассматривать связь между элементами, как новый элемент. Например, имеются сущности: СТУДЕНТ, ДИСЦИПЛИНА, ПРЕПОДАВАТЕЛЬ, ОЦЕНКА. Связь между ними имеет следующее смысловое значение. СТУДЕНТ по фамилии… сдал экзамен… у преподавателя… Используя понятие агрегации получаем следующую схему. Вводим новое понятие сущности и к нему атрибуты.

А

Экзамен

В_1, В_{2, …}В_n

Обобщение – это абстракция данных, которая позволяет представить класс различных подобных типов объектов как один, обобщенный поименнованный объект. В обобщении подчеркивается общая природа объектов.

При многоуровневой иерархии обобщений структура образует родовую иерархию. Это приводит к понятиям родовой и видовой сущностям.

Например, имеются сущности (СТУЛ, СТОЛ, ШКАФ, ПОЛКА), каждая их которых представляет собой категорию типов объектов, однако все они отражают смысловое содержание некоторого обобщенного объекта. Построим схему, присвоив сущности название «компонент». Для того, чтобы в модели представить информацию о каждой категории типа объекта добавим к сущности описательные атрибуты.

ГАРНИТУР

КОМПОНЕНТ

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

В процессе объединения могут возникать противоречия между моделями локальных представлений. Они вызваны:

а) некорректностью требований, неполнотой спецификации, техническими ошибками;

б) различными требованиями в отдельных приложениях.

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