Reasoning as Axioms Change - Incremental View Maintenance Reconsidered.

Jakub Kotowski François Bry Simon Brodt

Published in: RR (2011)

Keyphrases

incremental view maintenance
knowledge base
incremental maintenance
first order logic
end users
data warehouse