'

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

Понравилась презентация – покажи это...





Слайд 0

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


Слайд 1

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


Слайд 2

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


Слайд 3


Слайд 4

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


Слайд 5


Слайд 6


Слайд 7


Слайд 8


Слайд 9


Слайд 10


Слайд 11


Слайд 12


Слайд 13

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


Слайд 14


Слайд 15

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


×

HTML:





Ссылка: