NOT KNOWN FACTUAL STATEMENTS ABOUT DATALOG

conjunctive queries prolonged by union and negation, which by Codd's theorem correspond to relational algebra and initial-purchase logicThe conjunctive queries are classified as the fragment of (domain impartial) first-get logic offered through the list ofe. conditions made from column names and constants making use of no comparison operators aside