Алгебры отношений: введение, обзор результатов и открытых вопросов

Алгебры отношений (или реляционные алгебры) – это разновидность булевых алгебр, которая была введена в современной формулировке Тарским. Алгебры отношений представляют интерес с точки зрения изучения вопросов представимости, так как не все реляционные алгебры представимы как алгебры бинарных отношений. Мы обсудим такие вопросы, как критерии представимости алгебр отношений и алгоритмические аспекты, то есть разрешимость представимости для конечных алгебр. В контексте алгоритмической стороны вопроса мы также обсудим редукты реляционных алгебр, в частности аспекты конечной аксиоматизируемости (или ее отсутствия) и конечной представимости, а также связанные с этими аспектами открытые вопросы.