Transactional consistency in a replicated database
While transactions typically specify their read and write operations on logical data items, a replicated database has to execute them over the physical data copies. When transactions run concurrently in the system, their executions may interfere. The replicated database system has to isolate these transactions. The strongest, and most well-known correctness criterion for replicated databases is 1-copy-serializability. A concurrent execution of transactions in a replicated database is 1-copy-serializable if it is “equivalent” to a serial execution of these transactions over a single logical copy of the database.
A transaction is a sequence of read and write operations on the data items of the database. A read operation of transaction Ti on data item x is denoted as ri(x), a write operation on x as wi(x). A transaction Ti either ends with a commit ci (all operations succeed) or with an abort ai(whereby all...
- 1.Bernstein PA, Hadzilacos V, Goodman N. Concurrency control and recovery in database systems. Reading: Addison Wesley; 1987.Google Scholar