Efficient Computation of the Well-Founded Model Using Update Propagation.

Andreas Behrend

Published in: LPAR (2001)

Keyphrases

efficient computation
update propagation
deductive databases
integrity constraints
fixpoint
logic programming
query evaluation
computational efficiency
replicated databases
database
datalog programs
skyline queries
data replication
replicated data