conjunctive queries prolonged by union and negation, which by Codd's theorem correspond to relational algebra and first-order logicWhen any conjunctive question is often prepared like a Datalog rule, not each and every Datalog plan can be published like a conjunctive query. In fact, only solitary regulations more than extensional predicate symbols