ФОРМАЛИЗАЦИЯ МОДЕЛЕЙ ОБРАБОТКИ ДАННЫХ В.И. Мунерман Смоленский государственный университет ,

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

Модель данных Концептуальная модель Модель вычислений Иерархия моделей

SELECT FROM R UNION SELECT список полей> FROM S SELECT R.a1, R.a2 FROM R,S WHERE R.a1=S.b1 AND R.a2=S.b2

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

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