Safety of an Object-Based Version Vector Consistency Protocol of Session Guarantees.

Jerzy Brzezinski Cezary Sobaniec

Published in: PPAM (2005)

Keyphrases

lightweight
convergence proof
database systems
feature vectors

vector space
formal analysis
replicated data
network protocols

distributed databases
global constraints
constraint networks
application layer

global consistency
vector data
snapshot isolation