"Универсальная алгебра, алгебраическая логика и базы данных" - читать интересную книгу автора (Плоткин Б.И.)