Tools for Datalog Boundedness.

Gerd G. Hillebrand Paris C. Kanellakis Harry G. Mairson Moshe Y. Vardi

Published in: PODS (1991)

Keyphrases

datalog programs
sufficient conditions
expressive power
deductive databases
query language
information technology
decision support
logic programming
database
real time
data sets
neural network
database systems
end users
learning systems
software tools