sql - prolog から SQL へのコンバーター

Question

あまり考えなくても、Prolog の機能の大部分はリレーショナル計算 (別名 SQL) として実装できるように思えます。

Prolog を SQL に自動的に変換するツールについて聞いたことがありますか?

Answer 1

はい、もちろん。

懐疑論者の前提: データベース理論に関するある程度まともな本は、Datalog (Prolog のようなもの) と、それを関係代数 (RA) との間で (特定の制限の下で) 変換できることを示す定理について言及しています。

SQL は RA や関係計算に忠実ではありませんが、Prolog をサポートするには十分です。

• Christoph Draxlerは彼の論文用に Prolog to SQL コンパイラ (PL2SQL) を開発しました。これはダウンロード(.tgz) で入手できます - こちらもCMU 人工知能リポジトリから入手できます (少なくともBlipkitを介してCiao PrologとSWI-Prologに適合され、含まれています - Biomedical LogIc プログラミング知識統合キット);
• Igor Wojnicki は、博士号 (リレーショナル データベース管理システムの知識処理機能を拡張するルールベースの推論エンジン) のために、 ReDaReSと呼ばれる彼のJelly View テクノロジを実装するプロトタイプ システムを開発しましたが、ダウンロードできないようです。
• Relational Abstract Machine (RAM)は Prolog を Relational Algebra に変換しますが、SQL バックエンドを持っていないようです。
• Walter D. Potter は、 Prolog/RDBMS 統合に関するいくつかの論文を発表しています。
• SQL を Prolog で使用して大規模なデータベースのパフォーマンスを向上させることに関する Kevin Boone の論文も興味深いものです。
• など...

Answer 2

推奨:

https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/code/io/pl2sql/0.html

私のアドバイス - Eclipse プロローグ (http://www.eclipseclp.org/) を使用してください ((ここでは) Eclipse IDE のプロローグと混同しないでください)。

コードを他の 4 つのプロローグ (!) でコンパイルするのに何時間も費やし、Eclipse でコンパイルするのに 4 分かかりました。

それが機能するとき、それは美しいものです。

もちろんHerr Draxlerの功績

Answer 3

マッピングはあまり良くありません。たとえば、SQL は、バックトラック、統合、リスト、またはアドホックなネストされた構造を行いません。

Prolog は、複合オブジェクト、インデックスなどをうまく処理できません。

それは仕方のないことだと思います。

Answer 4

プロローグからSQLクエリを実行する方が理にかなっています。これは、プロローグのファクトに変換できます。例: Prolog ODBC ライブラリ

これにより、すべての制限が取り除かれ、2 つの言語が適切な場所に分離されたままになります。