Research Article
Formal Verification of Distributed Transaction Execution in Replicated Database System using Event - B
|
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
|
| Volume 143 - Issue 6 |
| Published: Jun 2016 |
| Authors: Pooja Sharma, Raghuraj Singh Suryavanshi |
10.5120/ijca2016910182
|
Pooja Sharma, Raghuraj Singh Suryavanshi . Formal Verification of Distributed Transaction Execution in Replicated Database System using Event - B. International Journal of Computer Applications. 143, 6 (Jun 2016), 15-23. DOI=10.5120/ijca2016910182
@article{ 10.5120/ijca2016910182,
author = { Pooja Sharma,Raghuraj Singh Suryavanshi },
title = { Formal Verification of Distributed Transaction Execution in Replicated Database System using Event - B },
journal = { International Journal of Computer Applications },
year = { 2016 },
volume = { 143 },
number = { 6 },
pages = { 15-23 },
doi = { 10.5120/ijca2016910182 },
publisher = { Foundation of Computer Science (FCS), NY, USA }
}
%0 Journal Article
%D 2016
%A Pooja Sharma
%A Raghuraj Singh Suryavanshi
%T Formal Verification of Distributed Transaction Execution in Replicated Database System using Event - B%T
%J International Journal of Computer Applications
%V 143
%N 6
%P 15-23
%R 10.5120/ijca2016910182
%I Foundation of Computer Science (FCS), NY, USA
Abstract
Distributed database is a technique in which copy of a database is replicated over the network. A distributed database appears to a client as a single database however in all actuality it is an arrangement of databases distributed on numerous computers or servers. Replication of data in a distributed database system is for enhancing data availability and making data more fault tolerant. Formal methods are used for insight knowledge and refinement of technique to be used and formal methods also helps in understanding how to accomplish those objectives. In our model a coordinator site finds a site with a largest replica number and then broadcast its updated replica to all other sites in a distributed environment.
References
- http://docs.oracle.com/cd/A59447_01/nt_804ee/doc/database.804/a58227/ch_repli.htm
- http://www.loria.fr/~mery/erasmusmaynooth/n1.pdf
- Jean-Raymond Abrial and Louis Mussat. Introducing dynamic constraints in B In Bert [BER 98], pages 83–128.
- Jean-Raymond Abrial. The B book. Cambrige University Press, 1996.
- Jean-Raymond Abrial. B #: Toward a synthesis between Z and B In Bert et al. [BER 03], pages 168–177
- Raghuraj Suryavanshi, Divakar Yadav “Rigorous Design of Lazy Replication System Using Event-B”
Index Terms
Keywords