Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 15 / Issue 1

available in:   PDF (209 kB) PS (3 MB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-015-01-0157


Using Abstract State Machines to Model ARIES-based Transaction Processing

Markus Kirchberg (Agency for Science, Technology and Research (A*STAR), Singapore)

Abstract: Transaction management is an essential component of database management systems. It enables multiple users to access the database concurrently while preserving transactional properties such as atomicity, consistency, isolation, and durability.

In this paper, we propose a formal framework specification for transaction processing. Our work can be seen as an extension of previous work by Gurevich et al. who have presented a formalism for general database recovery processing. Based on this formalism, we incorporate additional mechanisms that remove several explicit constraints, support normal transaction processing, and, most importantly, apply the approach to more advanced recovery mechanisms.

Keywords: Abstract State Machines, concurrency control, database recovery, transaction processing

Categories: D.2, H.2