ФОРМАЛИЗАЦИЯ МОДЕЛЕЙ ОБРАБОТКИ ДАННЫХ

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

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

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

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