Sign in
Undecidability and intractability results concerning datalog programs and their persistency numbers.
Stavros S. Cosmadakis
Eugénie Foustoucos
Anastasios Sidiropoulos
Published in:
ACM Trans. Comput. Log. (2010)
Keyphrases
</>
datalog programs
query containment
conjunctive queries
np complete
query answering
magic sets
fixpoint
deductive databases
description logics
recursive queries
data complexity
inconsistent databases
fixpoint semantics
integrity constraints
data exchange
special case
objective function
database systems