On Monotonic Deductive Database Updating Under the Open World Assumption.

Dominique Laurent

Published in: ISIP (2015)

Keyphrases

closed world assumption
deductive databases
integrity constraints
fixpoint
logic programming
query evaluation
model theoretic
fixpoint semantics
stable models
data exchange
declarative semantics
update propagation
logic programs
database
metadata
machine learning
data mining