Consistent Checkpointing in Distributed Databases: Towards a Formal Approach

R. Baldoni, F. Quaglia, M. Raynal

Whether it is for audit or for recovery purposes, data checkpointing is an important problem of distributed database systems. Actually, transactions establish dependence relations…