Отображение реляционной алгебры в дескриптивную логику

Abstract

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

Робота присвячена проблемі інтеграції даних, а саме відображенню реляційної моделі даних в дескриптивну логіку. За допомогою бінарної реляційної моделі даних, опис якої було наведено у раніше опублікованих дослідженнях, розглядається механізм створення відображень операцій реляційної алгебри у дескриптивну логіку. Для створення механізмів відображення в роботі використовується дескриптивна логіка ALC та деякі її розширення. У роботі використовуються раніше опубліковані результати, а саме: визначення та структура бінарної реляційної моделі даних, відображення дескриптивної логіки ALC, її аксіоматики та розширень у бінарну реляційну модель даних.

This paper is dedicated to the data integration problem. In article we discuss the problem of mapping the relational data model to the description logic. With the help of the previously created binary relational data model we created the mappings of the relational algebra to the description logic. We used the ALC description logic and its basic extensions (on which SHIQ, SHION and SHOIQ logic is based) to create mappings. We used previously published results in this work which are the binary relational data model definition, the binary relational data structure definition, the mapping of the ALC logic to the relational data model, the mapping of the basic extensions of the ALC logic to the relational data model and mapping the ALC axiomatic to the relational data model.