Title :
The study on verification of distributed algorithm for ring databases
Author :
Guohong, Gao ; Xueyong, Li ; Wenxian, Xiao ; Shitao, Yan
Author_Institution :
Sch. of Inf. Eng., Henan Inst. of Sci. & Technol., Xinxiang, China
Abstract :
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.
Keywords :
Automation; Data engineering; Database systems; Distributed algorithms; Distributed databases; Mechatronics; Partitioning algorithms; Protocols; Reliability; Set theory; Algorithm Verification; Ring Databases; Set Theory;
Conference_Titel :
Industrial Mechatronics and Automation (ICIMA), 2010 2nd International Conference on
Conference_Location :
Wuhan, China
Print_ISBN :
978-1-4244-7653-4
DOI :
10.1109/ICINDMA.2010.5538123
