これは、GUIベースの関係代数アプリケーションである " relational "へのリンクです。サイトによると、これは「教育ツール」なので、まさにあなたが探しているものかどうかはわかりません。
ターミナルセッションから次のコマンドを実行すると、インストールできるはずです。
Sudo apt-get install relational
多分 Sage あなたに役立ついくつかの機能がありますか？多目的CASです。そうでない場合は、ここに 関係代数に関する厚いレポート の頭や尾を作ることができませんでした---著者が話しているソフトウェアがどこで利用できるかさえわかりません。