ФОРМАЛИЗАЦИЯ МОДЕЛЕЙ ОБРАБОТКИ ДАННЫХ В.И. Мунерман Смоленский государственный университет vimoon@gmail.com, vim@munerman.ru 910-7887980, 481-2-607980. - презентация

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

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

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

4

5 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

6

7

8

9

10

11

12

13

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

15

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