Operational semantics of transactions
Andreas Prinz, Bernhard Thalheim · 2003
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes su#ers 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.