ASM specification of database systems

  • Authors:

  • Andreas Prinz;Bernhard Thalheim

  • Affiliations:

  • DResearch Digital Media Systems GmbH, Berlin, Germany;Computer Science Institute, Brandenburg University of Technology at Cottbus, Cottbus, Germany

  • Venue:
  • ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

Database semantics is often reduced to semantics of static databases. So far, there is no theory of database dynamics or operational semantics for database applications. This paper aims in developing such a theory based on the ASM approach. We restrict the consideration to the business user layer.