Универсальная алгебра, алгебраическая логика и базы данных

Abstract

Аннотация: Излагается одна из возможных точно математически обоснованных математических моделей'баз данных?? важнейшего понятия программирования. Развиваются алгебраические, в частности, категорные основы теории, различные подходы, направленные на алгебраизацию узкого исчисления предикатов, алгебраические модели базы данных. Дается обзор проблем теории баз данных и сопоставлены различные подходы исследований в этой области. Для специалистов в области алгебры и математической логики, а также в теоретическом и практическом программировании. От себя: IMHO, одна из лучших книг в этой области, которая дает наконец понимание того, зачем же вообще в жизни нужна абстрактная алгебра, кроме как для умозрительных заключений :) Другие книги по математической логике на сайте: Никольская И.Л. Математическая логика Мендельсон Э. Введение в математическую логику Мальцев А.Н. Алгоритмы и рекурсивные функции Мальцев А.И. Избранные труды, в 2-х томах Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Крайзель Г. Исследования по теории доказательств Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику Клини С.К. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики Другие книги по общей алгебре на сайте: Мальцев А.И. Избранные труды, в 2-х томах Ленг С. Алгебра Курош А.Г. Теория групп Курош А.Г. Общая алгебра Кострикин А.И. Сборник задач по алгебре Кострикин А.И. Введение в алгебру. Основы алгебры Кон П. Универсальная алгебра Биркгоф Г., Барти Т. Современная прикладная алгебра Биркгоф Г. Теория решеток Биркгоф Г. Теория структур Гретцер Г. Общая теория решеток Гохман А.В. Сборник задач по математической логике и алгебре множеств Бурбаки Н. Основные структуры анализа Бурбаки Н. Алгебра. Том 1. Алгебраические структуры. Линейная и полилинейная алгебра Бурбаки Н. Алгебра. Том 2. Многочлены и поля Бурбаки Н. Алгебра. Том 3. Модули, кольца, формы Бурбаки Н. Алгебра. Том 4. Гомологическая алгебра