Operational Semantics of Transactions

Prinz, A. and Thalheim, B.

    Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transactions are a concept that is commonly used in the database area. It is often defined in the form: given a syntactic construct in an abstract form and declare a number of properties an engine should support which is not specified and invisible. This paper aims in providing an operational semantics for transactions. A DBMS implementation is then considered to be a faithful refinement of the operational semantics.
Cite as: Prinz, A. and Thalheim, B. (2003). Operational Semantics of Transactions. In Proc. Fourteenth Australasian Database Conference (ADC2003), Adelaide, Australia. CRPIT, 17. Schewe, K.-D. and Zhou, X., Eds. ACS. 169-179.
pdf (from crpit.com) pdf (local if available) BibTeX EndNote GS