CFP last date
20 January 2025
Call for Paper
February Edition
IJCA solicits high quality original research papers for the upcoming February edition of the journal. The last date of research paper submission is 20 January 2025

Submit your paper
Know more
The week's pick
Responsive image
SFLA-Based Line Balancing and Task Optimization in Master-Slave Controlled Hanger Transportation Systems for Garment Production

Duc Hoang Nguyen
Random Articles
Reseach Article

Formal Verification of Distributed Transaction Execution in Replicated Database System using Event - B

by Pooja Sharma, Raghuraj Singh Suryavanshi
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 143 - Number 6
Year of Publication: 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 },
issue_date = { Jun 2016 },
volume = { 143 },
number = { 6 },
month = { Jun },
year = { 2016 },
issn = { 0975-8887 },
pages = { 15-23 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume143/number6/25080-2016910182/ },
doi = { 10.5120/ijca2016910182 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T23:46:00.891580+05:30
%A Pooja Sharma
%A Raghuraj Singh Suryavanshi
%T Formal Verification of Distributed Transaction Execution in Replicated Database System using Event - B
%J International Journal of Computer Applications
%@ 0975-8887
%V 143
%N 6
%P 15-23
%D 2016
%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
  1. http://docs.oracle.com/cd/A59447_01/nt_804ee/doc/database.804/a58227/ch_repli.htm
  2. http://www.loria.fr/~mery/erasmusmaynooth/n1.pdf
  3. Jean-Raymond Abrial and Louis Mussat. Introducing dynamic constraints in B In Bert [BER 98], pages 83–128.
  4. Jean-Raymond Abrial. The B book. Cambrige University Press, 1996.
  5. Jean-Raymond Abrial. B #: Toward a synthesis between Z and B In Bert et al. [BER 03], pages 168–177
  6. Raghuraj Suryavanshi, Divakar Yadav “Rigorous Design of Lazy Replication System Using Event-B”
Index Terms

Computer Science
Information Sciences

Keywords

Keywords: Formal Methods Formal Specification Event-B Coordinate site Participant site Replication.

Powered by PhDFocusTM