math - タプル関係論理または関係代数構文ベリファイア？

Question

数式を入力して構文的に検証できるソフトウェアパッケージを知っている人はいますか（セマンティクスをチェックする必要はありません）。

ありがとう。

Answer 1

私が知っている最も近いものは、リレーショナルデータベースクエリのチュートリアルDの実装です。

• レル

それがまさにあなたが探しているものであるかどうかはわかりません。