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

Question

有没有人知道一个软件包，您可以在其中键入公式并按语法进行验证（它不需要检查语义）。

谢谢。

Answer 1

我所知道的最接近此类的事情是用于关系数据库查询的 Tutorial D 的实现：

• 相对

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