math - コッドのデータのリレーショナルモデルに最も近いクエリ言語はどれですか？

Question

構文的には、少なくともSQLはかなり遠いです。ありがとう！

Answer 1

DataphorのD4はかなり近いと言われています（唯一の大きなエラーは、顧客が開発者に強制したnullのような構造の導入であるIIRCです）。

The Third Manifestoのプロジェクトページ（http://www.dcs.warwick.ac.uk/~hugh/TTM/Projects.html）にリストされているプロジェクトはすべて、さらに厳密に従うことが期待されます。

Answer 2

構文的に非常に異なる2つの言語があります。関係代数と関係論理です。SQLは両方の混合物です。逐語的な関係代数の実装はたくさんあるので、問題は明らかに実装がどれほど「忠実」であるかではありません。