The study on verification of distributed algorithm for ring databases
Gao Guohong, Xueyong Li, Xiao Wenxian, Yan Shitao · 2010
In this paper, we have applied a simple set theory for validating a simplified version of the algorithm. Even though Rescoes algorithm is dramatically simplified so that some inner characteristics of the algorithm are accidentally removed, the mathematical structure we have developed is already relatively complicated. Our abstraction could make some useful insights into this so complicated problem that is the data replication consistency over a distributed database.