Not known Details About datalog
conjunctive queries prolonged by union and negation, which by Codd's theorem correspond to relational algebra and first-order logicWhilst any conjunctive query could be published as a Datalog rule, not each Datalog program can be created being a conjunctive question. In actual fact, only solitary rules in excess of extensional predicate symbols is