6Note that as there are many variants of SQL, some of which are even Turing-complete, it is not generally true that Datalog is more powerful than (a particular) SQL.