URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Чери С., Готлоб Г., Танка Л. Логическое программирование и базы данных: Пер. с англ.
Id: 104601
 
999 руб.

Логическое программирование и базы данных: Пер. с англ.

1992. 352 с. Мягкая обложка. ISBN 5-03-002472-7. Букинист. Состояние: 4. Есть погашенная печать расформированной библиотеки.

 Аннотация

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

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


 ОГЛАВЛЕНИЕ

Предисловие редактора перевода................... 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

 
© URSS 2016.

Информация о Продавце