conjunctive queries extended by union and negation, which by Codd's theorem correspond to relational algebra and first-purchase logicThe set of info is known as the extensional database or EDB with the Datalog application. The list of tuples computed by evaluating the Datalog system is known as the intensional database or IDB.Datalog is very expres