conjunctive queries extended by union and negation, which by Codd's theorem correspond to relational algebra and initial-purchase logicWhilst any conjunctive query could be written being a Datalog rule, not every single Datalog system is usually prepared to be a conjunctive question. In truth, only solitary rules above extensional predicate symbols