是否有适用于 Ubuntu 的关系代数软件？

Question

我正在寻找一个处理关系和关系的关系代数的程序。

Answer 1

这是“ relational ”的链接，它是一个基于 GUI 的关系代数应用程序。根据该网站的说法，它是一种“教育工具”，所以我不确定它是否正是您正在寻找的。

您应该能够通过从终端会话运行以下命令来安装它：

sudo apt-get install relational

Answer 2

也许Sage有一些对你有用的功能？这是一个多用途的CAS。如果没有，这里有一份关于关系代数的厚厚的报告，我无法做出正面或反面——甚至不知道作者正在谈论的软件在哪里可用。