|
ОГЛАВЛЕНИЕ
Предисловие редактора перевода................... 5 Предисловие...................................... 7 Глава 1. Краткий обзор понятий логического программирования и баз данных.................... 10 1.1. Логическое программирование как язык запросов...................................... 12 1. 2. Пролог и Дейталог........................ 20 1.3. Альтернативные архитектуры............... 23 1. 4. Применения............................... 26 1. 5. Литература.......'....................... 27 Глава 2. Введение в реляционные базы данных и язык Пролог..................................... 28 2. 1. Обзор реляционных баз данных............ 28 2. 2. Пролог: язык программирования в логике... 36 2.3. Литература к главе....................... 40 Часть I. Связывание Пролога с реляционными базами данных................................... 41 Глава 3. Пролог как язык запросов................ 41 3. 1. Антитрестовская задача................... 42 3. 2. Задача о комплектующих................... 47 3. 3. Заключение............................... 52 3.5. Упражнения............................... 52 Глава 4. Связывание Пролог-систем и реляционных баз данных....................................... 54 4. 1. Архитектуры для связывания Пролога и реляционных систем............................ 54 4. 2. Базовые конъюнкции....................... 62 4.3. Оптимизация интерфейса Пролог/База данных. 77 4. 4. Заключение............................... 83 4. 5. Литература к главе....................... 84 4. 6. Упражнения............................... 84 Глава 5. Обзор систем для связывания Пролога и реляционных баз данных........................ 87 5. 1. PRO-SQL.................................. 87 5. 2. EDUCE.................................... 89 5. 3. ESTEAM................................... 90 5. 4. BERMUDA.................................. 91 5. 5. CGW и PRIMO.............................. 93 5.6. QUINTUS-PROLOG........................... 95 5. 7. Литература к главе....................... 98 Часть 2. Основы языка Дейталог................... 99 Глава 6. Синтаксис и семантика языка Дейталог.... 99 6. 1. Основные определения и предположения.....100 6.2. Теория моделей Дейталога................. 111 6.3. Заключение...............................119 6. 4. Упражнения...............................120 Глава 7. Теория доказательства и вычислительные парадигмы Дейталога................ 121 7. 1. Теория доказательства для Дейталога......122
7. 2. Итерация наименьшей неподвижной точки.... 130
7.3. Обратный вывод и резолюция............... 138
7.4. Заключение...............................156
7. 5. Литература к главе.......................156
7. 6. Упражнения...............................157
Часть III. Методы оптимизации для Дейталога...... 159
Глава 8. Классификация методов оптимизации для Дейталога.......................159
8.1. Критерии классификации методов
оптимизации...................................160
8. 2. Классификация методов оптимизации........163
8. 3. Трансляция Дейталога в реляционную
алгебру.......................................... 166
8.4. Классификация правил Дейталога........... 175
8.5. Выразительная мощность Дейталога......... 182
8.6. Литература к главе....................... 183
8. 7. Упражнения...............................185
Глава 9. Методы вычисления.......................186
9.1. Восходящие методы вычисления............ 186
9.2. Нисходящие методы вычисления............. 198
9.3. Литература к главе....................... 205
9.4. Упражнения...............................205
Глава 10. Методы переписывания................... 207
10.1. Логические методы переписывания......... 207
10. 2. Переписывание алгебраических систем.....235
10. 3. Общий подход к оптимизации..............255
10.4. Литература к главе...................... 260
10. 5. Упражнения..............................262
Глава 11. Расширения чистого Дейталога........... 264
11.1. Использование встроенных предикатов в Дейталоге............................ 266
11.2. Введение отрицания в Дейталог...........269
11. 3. Представление сложных объектов и манипулирование ими................. 292
11.4. Заключение..............................310
11.5. Литература к главе...................... 310
11.6. Упражнения..............................314
Глава 12. Обзор исследовательских проектов интеграции реляционных баз данных и систем логического программирования..................... 316
12.1. Система LDL.............................317
12. 2. Проект NAIL!............................323
12.3. Проект POSTGRES.........................327
12. 4. Проект вычислительных систем пятого
поколения........................................330
12. 5. Проект KIWI.............................333
12.6. Проект ALGRES...........................335
12. 7. Проект PRISMA...........................337
12. 8. Литература к главе......................339
БИБЛИОГРАФИЯ....................................341
|