SQLを用いた効率的なDatalogクエリ処理：環境関係に基づく巧妙なアプローチ

この記事では、DatalogプログラムをSQLクエリに変換する新しい手法を紹介します。著者はSQLのリレーショナル代数の機能を巧みに活用し、Datalogプログラム本体の変数バインディング環境を関係として表現することで、既存のSQLエンジンを使用してDatalogクエリを効率的に実行します。この手法は簡潔であるだけでなく、双対数のトリックを用いた半ナイーブ評価も可能で、パフォーマンスをさらに向上させます。この記事には、PythonとSQLのコード例、および他のDatalogエンジンとのパフォーマンス比較が含まれています。