Это программное обеспечение для реляционной алгебры для Ubuntu?

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

Вот ссылка на « реляционный », который представляет собой приложение реляционной алгебры на основе графического интерфейса. Согласно сайту, это «образовательный инструмент», поэтому я не уверен, что это именно то, что вы ищете или нет.

Вы сможете установить его, выполнив следующую команду из сеанса терминала:

sudo apt-get install relational