Undecidable Boundedness Problems for Datalog Programs.

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

Published in: J. Log. Program. (1995)

Keyphrases

datalog programs
query answering
sufficient conditions
np complete
conjunctive queries
recursive queries
magic sets
deductive databases
data complexity
fixpoint
fixpoint semantics
databases
machine learning
np hard
logic programs