タプル関係微分または関係代数構文検証？

Question

誰もがソフトウェアパッケージを知っています。ここでは、式を入力することができ、意味的に検証します（セマンティクスを確認する必要はありません）。

ありがとうございました。

Answer 1

私はこのような何かを知っている最も近いリレーショナルデータベースクエリのためのチュートリアルDの実装です：

• Rel

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