如果Datalog基于等价于SQL的一阶逻辑,为什么Datalog可以表达传递性(这在SQL/一阶逻辑中是无法表达的)?
https://en.wikipedia.org/wiki/Datalog
这显然意味着Datalog比SQL更具表现力,
http://www.learndatalogtoday.org/
说它有SQL的表现力。这是否意味着数据录入正在做数据记录的一个子集?或者,Datalog是带固定点的一阶逻辑?这里我漏掉了什么?
发布于 2019-01-28 01:36:21
我想你是对的。Datalog是带不动点的一阶逻辑,而经典SQL是纯一阶逻辑。实际上,这来自于允许递归的Datalog和没有递归表达式的传统SQL。
https://stackoverflow.com/questions/52228253
复制相似问题