DataLog是否等效于SQL？

Question

如果Datalog基于等效于SQL的一阶逻辑，那么Datalog怎么能表示可传递性（在SQL /一阶逻辑中是不可表达的）？

https://en.wikipedia.org/wiki/Datalog

这显然意味着Datalog比SQL具有更高的表达力，

http://www.learndatalogtoday.org/

说它具有SQL的表达能力。这是否意味着Datomic正在执行数据记录的子集？还是带有定点的Datalog一阶逻辑？我在这里想念什么？

Answer 1

我认为你是对的。数据记录是具有定点的一阶逻辑，而经典SQL是纯一阶逻辑。 实际上，这来自Datalog，它允许递归，而经典SQL没有递归表达式。