Deciding Boundedness for Uniformly Connected Datalog Programs.

Irène Guessarian

Published in: ICDT (1990)

Keyphrases

datalog programs
query answering
magic sets
data complexity
fixpoint
conjunctive queries
recursive queries
inconsistent databases
deductive databases
data exchange
general purpose
integrity constraints
fixpoint semantics
data sets
np complete
special case
database systems