Math 元组关系演算还是关系代数语法验证器？

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

---

谢谢。

据我所知，与此类似的最接近的是关系数据库查询教程D的实现：

---

不确定这是否正是您想要的。

这不完全是关系演算，但它对mi学习过程非常有帮助。谢谢