用SQL高效执行Datalog查询：一种巧妙的基于环境关系的方法

本文介绍了一种将Datalog程序翻译成SQL查询的新方法。作者巧妙地利用SQL的关联代数特性，将Datalog程序体中的变量绑定环境表示成关系，从而利用SQL引擎高效地执行Datalog查询。这种方法不仅简洁，而且可以通过利用双数技巧实现半朴素求值，进一步提升效率。文中还包含了Python和SQL代码示例，以及与其他Datalog引擎的性能比较。