Conjunctive queries prolonged by union and negation, which by Codd's theorem correspond to relational algebra and 1st-get logic Even though any conjunctive question is usually published like a Datalog rule, not each Datalog application could be written being a conjunctive query. In reality, only one guidelines around extensional predicate symbols https://datalog-595059.fitnell.com/75270872/not-known-details-about-datalog