Я ищу программу, которая занимается реляционной алгеброй отношений и отношений.
Возможно, у Sage есть некоторые возможности, которые были бы полезны для вас? Это многоцелевой CAS. Если нет, вот толстый отчет о Relational Algebra, который я не мог сделать головами или хвостами - даже не понять, где доступно программное обеспечение, о котором говорит автор.