Излагается одна из возможных точно математически обоснованных математических моделей «баз данных»— важнейшего понятия программирования. Развиваются алгебраические, в частности, категорные основы теории, различные подходы, направленные на алгебраизациюузкого исчисления предикатов, алгебраические модели базы данных. Дается обзор проблем теории баз данных и сопоставлены различные подходы исследований в этой области.

алгебра, математичні моделі, математические модели, бази даних, базы данных, алгебра логіки, алгебра логики, алгебраїчна логіка, алгебраическая логика, універсальна алгебра, универсальная алгебра, алгебраїчні моделі, алгебраические модели