Плоткин Б.И., Универсальная алгебра, алгебраическая логика и базы данных.
1991, изд-во: Наука, город: М., стр. : 448 с., обложка: Твердый издательский переплет., формат: Обычный, состояние: Отличное. . Излагается одна из возможных точно математически обоснованных математических моделей «баз данных»— важнейшего понятия программирования. Развиваются алгебраические, в частности, категорные основы теории, различные подходы, направленные на алгебраизацию узкого исчисления предикатов, алгебраические модели базы данных. Дается обзор проблем теории баз данных и сопоставлены различные подходы исследований в этой области. Для специалистов в области алгебры и математической логики, а так-же в теоретическом и практическом программировании.