Методы обработки реляционных данных в объектных дескриптивных логиках

Оглавление
Введение
1 Базы данных как онтологии
1.1 Обзор литературы и имеющийся мировой опыт.
1.2 Дескриптивные логики и общие проблемы
1.2.1 Дескриптивные логики .
12.2 Система вывода в .
1.2.3 Проблемы использования логики.
1.2.4 Проблема объединения логической и реляционной модели данных
1.2.5 Наш подход
1.3 Дескриптивные логики и объектные теории.
1.3.1 Основные понятия дескриптивных логик
1.3.2 Логика V и объектные теории
1.4 Вазы данных.
1.5 Объектные теории баз данных.
1.6 Аксиомы замкнутости.
2 Формализация операций алгебры Кодда
2.1 Операции алгебры Кодда
2.1.1 Операция выборки
2.12 Операция проекции .
2.1.3 Операция объединения.
2.1.4 Операция вычитания.
2.1.5 Операция декартова произведения
2.2 Формализация операций алгебры Кодда в объектных теориях
2.2.1 Формализация операции выборки . 5
2.2.2 Формализация операции проекции
2.2.3 Формализация операции объединения. б
2.2.4 Формализация операции вычитания.
2.2.5 Формализация операции декартова произведения . .
3 Реализация i на реляционных базах данных
3.1 Описание системы i
3.2 Отображение структуры БД в i
3.3 Метод подмены хранилища
3.4 Трансляция i в I
3.4.1 Трансляция элементарных запросов.
3.4.2 Трансляция путей
3.4.3 Трансляция инверсных свойств.
3.4.4 Вложенные запросы
3.4.5 Предикаты .
31.6 Сравнение реализаций.
Заключение
Л игература
Введение
Актуальность