元组关系演算或关系代数语法验证器？

Question

有没有人知道你可以输入公式的软件包，并且它可以自动验证（它不需要检查语义）。

感谢。

Answer 1

我最接近这样的事情是关系数据库查询的教程D的实现：

• Rel

不确定这是否正是您正在寻找的。