如果Datalog是基于等价于SQL的一阶逻辑，Datalog怎么能表达传递性(这是SQL/一阶逻辑无法表达的)？
https://en.wikipedia.org/wiki/Datalog
这显然意味着 Datalog 比 SQL 更具表现力，
http://www.learndatalogtoday.org/
说它具有SQL的表达能力。这是否意味着 Datomic 正在做数据记录的一个子集？还是带有固定点的 Datalog 一阶逻辑？我在这里缺少什么？
最佳答案
我认为你是对的。 Datalog 是具有固定点的一阶逻辑，而经典 SQL 是纯一阶逻辑。 实际上，这来自 Datalog 允许递归和没有递归表达式的经典 SQL。
关于datomic - DataLog 等同于 SQL 吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/52228253/