A Formal Analysis of the Deferred Update Technique.

Rodrigo Schmidt Fernando Pedone

Published in: OPODIS (2007)

Keyphrases

formal analysis
formal methods
agent model
ban logic
update operations
knowledge base
relational databases
design process
development process