Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др. Эти же понятия становятся методологической основой описания, анализа и моделирования автоматизированных интегрированных производств. Описаны концепция Кодасил, функциональные языки запросов, модели баз данных.
Для программистов, работающих в промышленности, преподавателей и студентов вузов в области вычислительной техники и информатики .
Хорошим введением в разработку и стандартизацию СУБД может служить предлагаемая читателю книга П. Грэя. В ней доступно и наглядно изложен материал. При сравнительно небольшом объеме в ней рассмотрены не только все популярные модели баз данных (реляционная, кодасиловская, функциональная), но и связи между ними, что составляет большое достоинство книги.
В книге изучаются приложения логического и аппликативного программирования к базам данных, рассматриваются современные языки запросов, в частности, такой популярный, как QBE: Query-by-Example (запрос по примеру). В нем широко используется распространенный язык логического программирования Пролог, мировую известность которому принесла идея его применения в компьютерах пятого поколения. Демонстрируются также возможности реляционной алгебры Астрид (ASTRID), являющейся расширением известной системы Кодда.
Основой книги послужил рассчитанный на широкую аудиторию курс лекций П. Грэя, читавшийся в Абердинском университете (Шотландия).
От читателя не требуется почти никаких предварительных знаний. Автор начинает с рассмотрения основ логического и аппликативного программирования и развития последнего по направлению к функциональному программированию.
Содержание
Предисловие редакторов перевода.
Исчисление высказываний.
Исчисление предикатов.
Ламбда-выражения и обработка списков.
Представление программ дизъюнктами: язык Пролог.
Представление программ в функциональных обозначениях.
Реляционная модель.
Языки, основанные на реляционном исчислении.
Реляционная алгебра: аппликативный язык.
Преобразование запросов в реляционной алгебре и реляционном исчислении.
Функциональная модель данных.
База данных Кодасил DBTG.
Функциональные языки запросов для баз данных типа Кодасил.
Приложения.
Отношения базы данных "Кубок мира".
Синтаксис реляционной алгебры Астрид.
Диаграмма Бахмана и схема описания данных в IDS-П для базы данных "Кубок мира".
Синтаксис языка SQL.
Синтаксис языка Даплекс.
Список литературы.
Список дополнительной литературы.
Дополнительно: Уважаемые покупатели, до заказа, если у вас есть вопросы, вы можете задать их через функцию "спросить".
После открытия заказа постарайтесь выйти на связь для взаимовыгодного сотрудничества.
Книги отправляю бандеролью до 2 кг по тарифам отделения Почты России населенного пункта, в котором проживаю, посылкой от 2 кг.
Окончательный расчет доступен после заказа и взвешивания отправления после ... [подробнее]