A Decidable Variety That Is Finitely Undecidable.

Published in: J. Symb. Log. (1999)

Keyphrases

model checking
datalog programs
wide range
wide variety
sufficient conditions
exptime complete
np complete
first order logic
finite number
data complexity
query containment
data sets
information systems
deductive databases
fixpoint