作者热门文章
- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
如果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/
判断这2个相似的Uris实际上相同的标准方法是什么? var a = new Uri("http://sample.com/sample/"); var b = new Uri("http://sam
这个问题在这里已经有了答案: Why does "true" == true show false in JavaScript? (5 个答案) 关闭 5 年前。 可能我很困惑,但我无法理解这个愚蠢
我是一名优秀的程序员,十分优秀!