DataLog эквивалентен SQL?

Question

Если Datalog основан на логике первого порядка, которая эквивалентна SQL, почему Datalog может выражать транзитивность (что невыразимо в логике SQL / первого порядка)?

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

Это явно означает, что Datalog более выразителен, чем SQL,

http://www.learndatalogtoday.org/

Говорит, что обладает выразительной силой SQL. Означает ли это, что Datomic делает поднабор данных? Или логика Datalog First order с фиксированными точками? Что мне здесь не хватает?

Answer 1

Я думаю, что вы правы. Лог данных - это логика первого порядка с фиксированными точками, в то время как классический SQL - это логика первого порядка. Практически это происходит из Datalog, разрешающего рекурсию и классический SQL, не имеющий выражения для рекурсии.