Correctness proof of a database replication protocol under the perspective of the I/O automaton model

DOI10.1007/S00236-009-0097-4zbMATH Open1179.68046OpenAlexW2090714376MaRDI QIDQ2390937FDOQ2390937

Authors: José Enrique Armendáriz-Iñigo, Francesc D. Muñoz-Escoí, José R. González de Mendívil, José R. Garitagoitia 

Publication date: 10 August 2009

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-009-0097-4

Recommendations

• A proof technique for concurrency control and recovery algorithms for replicated databases
• Serializability theory for replicated databases
• scientific article; zbMATH DE number 4084989
• A formal model for the deferred update replication technique
• Virtual partition algorithm in a nested transaction environment and its correctness

zbMATH Keywords

database replicasgroup communication systemreplication protocolreplication support

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• Title not available (Why is that?)
• Unreliable failure detectors for reliable distributed systems
• A calculus of communicating systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Formalizing and validating the \(P\)-Store replicated data store in Maude
• A formal model for the deferred update replication technique

Uses Software

• Oracle
• MS SQL Server
• PostgreSQL

This page was built for publication: Correctness proof of a database replication protocol under the perspective of the I/O automaton model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2390937)