Achilles, Turtle, and Undecidable Boundedness Problems for Small DATALOG Programs.

Jerzy Marcinkowski

Published in: SIAM J. Comput. (1999)

Keyphrases

datalog programs
query answering
sufficient conditions
magic sets
np complete
deductive databases
fixpoint
recursive queries
data exchange
np hard
data complexity
inconsistent databases