conjunctive queries prolonged by union and negation, which by Codd's theorem correspond to relational algebra and initially-purchase logic Description: Cortech Developments core software package products, Datalog, is usually a modular and scalable graphical person interface that screens