Pages that link to "Item:Q1097027"
From MaRDI portal
The following pages link to A proof technique for concurrency control and recovery algorithms for replicated databases (Q1097027):
Displaying 8 items.
- Using semantic knowledge of transactions to improve recovery and availability of replicated data (Q688282) (← links)
- Asynchronous backup and initialization of a database server for replicated database systems (Q704678) (← links)
- Achieving graceful performance in distributed error-prone databases (Q751801) (← links)
- Technical note: Replication graphs revisited (Q856403) (← links)
- Serializability theory for replicated databases (Q1083230) (← links)
- Virtual partition algorithm in a nested transaction environment and its correctness (Q1602517) (← links)
- Correctness proof of a database replication protocol under the perspective of the I/O automaton model (Q2390937) (← links)
- Mechanical verification of concurrency control and recovery protocols (Q2760869) (← links)