NOT KNOWN FACTUAL STATEMENTS ABOUT DATALOG

A rule is referred to as floor if all of its atoms (head and body) are ground. A ground rule R1 is a floor instance of another rule R2 if R1 is the results of a substitution of constants for many of the variables in R2. The Herbrand foundation of a Datalog system is definitely the list of all ground atoms which can be designed Using the constants a

Contemporary IT systems deal with a growing quantity of details, often bound by advanced products, that have to have particular representations of precisely the same information and facts so as to carry out translation in between different software program layersThe set of details is known as the extensional database or EDB with the Datalog program