A Formal Model for the Deferred Update Replication Technique.

Andrea Corradini Leila Ribeiro Fernando Luís Dotti Odorico Machado Mendizabal

Published in: TGC (2013)

Keyphrases

formal model
fault tolerant
formal models
fault tolerance
consistency constraints
security properties
distributed systems
data partitioning
predicate calculus
probabilistic knowledge
replicated databases
neural network
data replication
update operations
group communication