Логика, алгебра и базы данных (Грей П.)