将Datalog查询转到SQL(ite)查询

Question

数据录是查询关系数据的一种很好的语言。它简单、清晰、组合良好，并且不需要额外的语法就支持递归查询。

SQLite是一个非常棒的嵌入式数据库，它似乎可以处理递归查询--参见页面底部的示例，用于生成Mandelbrot集和找到数独游戏的所有可能解决方案！

我想知道是否有一种相当标准的方法将数据查询转换为SQLite支持的递归SQL，或者是否有提供此功能的库。

Answer 1

DLVDB是递归Datalog的解释器，它对扩展数据使用ODBC数据库连接：http://www.dlvsystem.com/dlvdb/。

除此之外，论文

S. Ceri，G. Gottlob，L. Tanca.1989年。你一直想知道的关于Datalog的东西(而且从来不敢问)。IEEE传输关于诺尔。和数据工程。1 (1989年3月)，146-166。http://dx.doi.org/10.1109/69.43410

提供了将Datalog转换为关系代数的理论背景和一些指针。