Inference of monotonicity constraints in Datalog programs.

Alexander Brodsky Yehoshua Sagiv

Published in: Ann. Math. Artif. Intell. (1999)

Keyphrases

datalog programs
monotonicity constraints
ordinal classification
logic programs
fixpoint
query answering
recursive queries
conjunctive queries
magic sets
deductive databases
stable models
data complexity
data exchange
data integration
inconsistent databases
answer sets
expert systems