conjunctive queries prolonged by union and negation, which by Codd's theorem correspond to relational algebra and 1st-buy logicDatalog is unique in that it is based upon regulations rather then methods. Because of this you explain relationships concerning knowledge instead of write instructions for manipulating it. This leads to additional concise