Paper Info
Title
Operational Semantics of Transactions
Abstract
Mathematics is forcing towards a consistent frame- work of theory development. Computer Science is an engineering discipline and sometimes suers from ad-hoc denitions. Transactions are a concept that is commonly used in the database area. It is often dened in the form: given a syntactic construct in an abstract form and declare a number of properties an engine should support which is not specied and invisible. This paper aims in providing an operational se- mantics for transactions. A DBMS implementation is then considered to be a faithful renement of the operational semantics.
Year
Venue
Keywords
2003
Australasian Database Conference
engineering discipline,consistent framework,computer science,theory development,abstract form,operational semantics,database area,ad-hoc definition,dbms implementation,faithful refinement
Field
DocType
ISBN
Operational semantics,Computer science,Action semantics,Denotational semantics,Theoretical computer science,Syntax,Development theory,Database
Conference
0-909-92595-X
Citations 
PageRank 
References 
11
0.72
8
Authors
2
Name
Order
Citations
PageRank
Andreas Prinz16912.17
Bernhard Thalheim21811442.28