Comment by maweki

I think as a user if you have to think about the computational aspects of a query you're doing something wrong.

From a declarative sense datalog is much more concise than SQL. Depending on how you want to think about it, it also subsumes sparql.

The datalog compilers we're working on in our group create very efficient code and the evaluation strategy sometimes is far from what you would think of by looking at the query.

But since the result is defined as the minimal herbrandt model/fixpoint of the Tp operator you don't think about computation because you don't have to.