conjunctive queries prolonged by union and negation, which by Codd's theorem correspond to relational algebra and first-order logicAlthough any conjunctive question may be penned as being a Datalog rule, not just about every Datalog system is usually created to be a conjunctive question. Actually, only one policies above extensional predicate symbo