Estou procurando um programa que lide com a álgebra relacional sobre relações e relacionamentos.
Aqui está um link para " relational ", que é um aplicativo de álgebra relacional baseado em GUI. De acordo com o site, é uma "ferramenta educacional", então não tenho certeza se é exatamente o que você está procurando ou não.
Você deve conseguir instalá-lo executando o seguinte comando em uma sessão de terminal:
sudo apt-get install relational
Talvez o Sage tenha alguns recursos que seriam úteis para você? É um CAS multiuso. Se não, aqui está um relatório denso sobre álgebra relacional que não consegui Não faça cara ou coroa - nem mesmo para descobrir onde o software sobre o qual o autor está falando está disponível.