Incremental Integrity Checking: Limitations and Possibilities.

Henning Christiansen Davide Martinenghi

Published in: LPAR (2005)

Keyphrases

integrity checking
integrity constraints
deductive databases
hard and soft constraints
constraint logic programming
semantic query optimization
incremental learning
database
xml documents
expert systems
cost function
data sources
logic programming
query answering