Principles of transaction-oriented database recovery
ACM Computing Surveys (CSUR)
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Chickens and eggs—the interrelationship of systems and theory
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A theory of reliability in database systems
Journal of the ACM (JACM)
Commutativity-based locking for nested transactions
Journal of Computer and System Sciences
ACM Transactions on Database Systems (TODS)
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Model and Verification of a Data Manager Based on ARIES
ICDT '92 Proceedings of the 4th International Conference on Database Theory
Recovery guarantees in mobile systems
Proceedings of the 1st ACM international workshop on Data engineering for wireless and mobile access
Support for Recovery in Mobile Systems
IEEE Transactions on Computers
Repeating History Beyond ARIES
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
FAST'05 Proceedings of the 4th conference on USENIX Conference on File and Storage Technologies - Volume 4
Segment-based recovery: write-ahead logging revisited
Proceedings of the VLDB Endowment
| Hi-index | 0.00 |
In this article, we model and verify a data manager whose algorithm is based on ARIES. The work uses the I/O automata method as the formal model and the definition of correctness is defined on the interface between the scheduler and the data manager.