conjunctive queries prolonged by union and negation, which by Codd's theorem correspond to relational algebra and 1st-buy logicIts origins date again to the start of logic programming, and is commonly being used to explain systems, or to construct domain styles.The ISO has acknowledged that the quantity of management systems has risen dramatically