- Артикул:00-01119803
- Автор: П. Грэй
- ISBN: 5-217-000178-Х
- Тираж: 15000 экз.
- Обложка: Твердая обложка
- Издательство: Машиностроение (все книги издательства)
- Город: Москва
- Страниц: 368
- Формат: 60х88/16
- Год: 1989
- Вес: 593 г
Развернуть ▼
В книге изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др. Эти же понятия становятся методологической основой описания, анализа и моделирования автоматизированных интегрированных производств. Описаны концепция Кодасил, функциональные языки запросов, модели баз данных.
Для программистов. работающих в промышленности, преподавателей и студентов вузов в области вычислительной техники и информатики.
Содержание
Предисловие редакторов перевода
Глава 1. Исчисление высказываний
1.1. Введение
1.2. Истинность и ложность предложений - двузначная логика
1.3. Составные предложения
1.4. Таблицы истинности для основных операций
1.5. Теоремы из булевой алгебры
1.6. Законы де Моргана
1.7. Дистрибутивный закон - предложения в нормальной форме
1.8. Оператор ВЛЕЧЕТ
1.9. Правила вывода: цепное заключение и модус поненс
1.10. Выводы
1.11. Тавтологии и подстановка
1.12. Логическая эквивалентность и подстановка
1.13. Доказательство с введением допущения
1.14. Приведение к противоречию
1.15. Доказательство методом резолюции
1.16. Преимущества метода резолюции
Глава 2. Исчисление предикатов
2.1. Введение. Параметризованные предложения
2.2. Квантор общности А
2.3. Квантор существования Е
2.4. Запись утверждения в языке исчисления предикатов
2.5. Комбинации кванторов
2.6. Формальный синтаксис
2.7. Семантические ограничения исчисления предикатов
2.8. Теоретико-множественная модель
2.9. Отрицание кванторов
2.10. Примеры кванторных утверждений
2.11. Кванторные утверждения о данных
2.12. Эквивалентность различных формул
2.13. Приведение к системе дизъюнктов
2.14. Принцип резолюции
2.15. Применение метода резолюций для ответов на вопросы
2.16. Эвристики для поиска доказательства
2.17. Подстановка н унификация
2.18. Выводы
Глава 3. Ламбда - выражения н обработка списков
3.1. Введение
3.2. Функции как отображения множеств
3.3. Композиция функций: составной оператор
3.4. Ограничение н объединение функций: условный оператор if
3.5. Формы алпликативного синтаксиса: ламбда-обозначения
3.6. Запись рекурсивных определений в ламбда-обозначениях
3.7. Рекурсивная обработка списков
3.8. Типы рекурсивных функций
3.9. Запись некоторых функций обработки множеств и списков в ламбда - обозначениях
3.10. Выводы
Глава 4. Представление программ дизъюнктами: язык Пролог
4.1. История логического программирования
4.2. Элементы Пролога
4.3. Вычисление как поиск от цели в глубину
4.4. Примеры запросов к базе данных на Прологе
4.5. Аксиоматизация операций обработки списков
4.6. Механизм порождения новых ответов
4.7. Функции как конструкторы записей
4.8. Соотношение метода резолюции и поиска в глубину
4.9. Специальные предикаты в Прологе
4.10. Перевод ламбда-обозначений на Пролог
4.11. Некоторые основные процедуры обработки множеств и списков
4.12. Операции над базами данных и множествами в Прологе
4.13. Выводы
Глава 5. Представление программ в функциональных обозначениях
5.1. Функциональное программирование
5.2. Функциональный синтаксис языка КRC
5.3. Функции, управляющие итерацией: maplist lit
5.4. Функции, порождающие функции
5.5. Комбинаторы Карри и Тернера
5.6. Функции, порождающие множества
5.7. Отложенные вычисления
5.8. Функции. оперирующие на потоках: примеры из языка FQL
5.9. Выводы: основные операции FQL
5.10. Обобщенные типы функций: примеры из языка НОРЕ
5.11. Выводы
Глава 6. Реляционная модель
6.1. Введение
6.2. Общие свойства отношений в реляционной базе данных
6.3. Бинарная реляционная модель
6.4. Объектно - связная модель
6.5. Нормализация
6.6. Обобщенные теоретико - множественные операции над двумя отношениями
6.7. Различия между отношениями и файлами в Паскале и Коболе
6.8. Подтипы и иерархии типов
6.9. Выводы
Глава 7. Языки, основанные на реляционном исчислении
7.1. Введение
7.2. Язык QUEL системы INGRES как исчисление, ориентированное на кортежи
7.3. Синтаксис языка QUEL
7.4. SQL другие языки
7.5. Язык QВЕ: Query-bу-Ехаmple
7.6. Примеры из QВЕ и их сравнение с примерами из SQL
7.7. Использование выходных отношений, «снимков» и представлений
7.8. Операция GROUP_ВУ на SQL и QВЕ
7.9. Выводы
Глава 8. Реляционная алгебра: аппликативный язык
8.1. Введение
8.2. Четыре основные алгебраические операции
8.3. Соответствие операциям обработки данных на последовательных файлах
8.4. Композиция основных операций
8.5. Сравнение алгебры и исчисления
8.6. Язык Астрид. Синтаксис обобщенной алгебры
8.7. Использование соединения с переименованием
8.8. Примеры запросов на Астриде в сравнении с запросами на QВЕ
8.9. Оператор расширения и вычисляемые поля
8.10. Операция группировки как расширенная проекция
8.11. Операция обобщенной разности и квантор общности
8.12. Формулирование сложных многострочных запросов
8.13. Выводы
Глава 9. Преобразование запросов в реляционной алгебре и реляционном исчислении
9.1. Введение
9.2. Преобразование из реляционной алгебры в исчисление
9.3. Оптимизация алгебраических выражений - переупорядочение операций
9.4. Оптимизация объединения и разности
9.5. Преобразование выражений, содержащих группировку
9.6. Оператор деления и эквивалентные ему операторы
9.7. Другие полезные эквивалентности из теории множеств
9.8. Алгоритм оптимизации, применяемый в системе РКТУ
9.9. Трансляция из ()ВЕ в реляционную алгебру
9.10. Алгоритм Кодда для преобразования реляционного исчисления в реляционную алгебру
9.11. Улучшенный вариант алгоритма Кодда, использующий группировку
9.12. Выводы
Глава 10. Функциональная модель данных
10.1. Основные понятия: объекты и функции
10.2. Композиция функций в функциональной модели
10.3. Сравнение разновидностей синтаксиса манипулирования данными
10.4. Представление функциональной схемы с помощью отношений
10.5. Представление отношений схемой на Даплексе
10.6. Связь с абстрактными типами данных
10.7. Выводы: основные положения
Глава 11. База данных Кодасил DBTG
11.1. Введение
11.2. Представление наборов с помощью цепочек и указателей
11.3. Кодасиловская схема и ее диаграмма Бахмана
11.4. Дополнительные подробности описания набора
11.5. Предложения АNSI/SРАRС: внешние представления и структуры хранения
11.6. Кодасиловские операции языка манипулирования данными
11.7. Форматы команды FIND
11.8. Другие команды языка манипулирования данными
11.9. Выводы
Глава 12. Функциональные языки запросов для баз данных типа Кодасил
12.1. Реализация языка FQL для базы данных типа Кодасил
12.2. Реализация Даплекс- функций над Кодасилом
12.3. Представление Даплекс-схемы кодасиловскими наборами
12.4. Формирование реляционного представления основной схемы Кодасил
12.5. Реализация операций реляционной алгебры над Кодасилом
12.6. Модификация программ в системе Астрид
12.7. Проблемы модификаций и их отображение в базах данных
12.8. Ограничения целостности
12.9. Дальнейшее развитие
12.10. Заключение
Приложение 1. Отношения базы данных «Кубок мира»
Приложение 2. Синтаксис реляционной алгебры Астрид
Приложение 3. Диаграмма Бахмана и схема описания данных в IDS-II для базы данных «Кубок мира»
приложение 4. Синтаксис языка SQL
Приложение 5. Синтаксис языка Даплекс
Список литературы
Список дополнительной литературы