DocumentCode
524930
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
Volume
1
fYear
2010
fDate
30-31 May 2010
Firstpage
394
Lastpage
397
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Mechatronics and Automation (ICIMA), 2010 2nd International Conference on
Conference_Location
Wuhan, China
Print_ISBN
978-1-4244-7653-4
Type
conf
DOI
10.1109/ICINDMA.2010.5538123
Filename
5538123
Link To Document