Излагается одна из возможных точно математически обоснованных
математических моделей "баз данных" - важнейшего понятия
программирования. Развиваются алгебраические, в частности
категорные основы теории, различные подходы направленные на
алгебраизацию узкого исчисления предикатов, алгебраические модели
БД.
М.: Наука, 1991 год, 448 стр.
М.: Наука, 1991 год, 448 стр.