NOT KNOWN DETAILS ABOUT DATALOG

conjunctive queries prolonged by union and negation, which by Codd's theorem correspond to relational algebra and first-buy logicDatalog is actually a declarative logic programming language. Though it is actually syntactically a subset of Prolog, Datalog typically makes use of a bottom-up rather than top-down evaluation model.As an example, as an i