Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Abstract State Machines

ASM 2003: Abstract State Machines 2003 pp 418–420Cite as

ASM Specification of Database Systems

  • Conference paper
  • First Online:

  • 376 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2589))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. E. Börger, Discrete Systems Modeling. Encyclopedia of Physical Sciences and Technology, Academic Press 2001. 418

    Google Scholar 

  2. D. Goldin, S. Srinivasa and B. Thalheim, IS = DB+Interaction: Towards Principles of Information System Design. Proc. ER’2000 (eds. A. S.H. Laender, S. T.W. Liddle, V. C. Storey), LNCS 1920, Springer, Berlin, 140–153. 418

    Google Scholar 

  3. Y. Gurevich, N. Soparkar, and Charles Wallace, Formalizing database recovery. Journal of Universal Computer Science, 1997, 34, 320–340. 419

    MATH  MathSciNet  Google Scholar 

  4. B. Thalheim, Entity-relationship modeling-Foundations of database technology. Springer, Berlin, 2000. 418

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DResearch Digital Media Systems GmbH, Otto-Schmirgal-Str. 3, D-10319, Berlin, Germany

    Andreas Prinz

  2. Computer Science Institute, Brandenburg University of Technology at Cottbus, PostBox 101344, 03013, Cottbus, Germany

    Bernhard Thalheim

Authors
  1. Andreas Prinz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernhard Thalheim
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Via Buonarotti 2, 56127, Pisa, Italy

    Egon Börger

  2. CEA, Università di Catania, Piazza Università 2, 95124, Catania, Italy

    Angelo Gargantini

  3. Dipartimento di Matematica e Informatica, Università di Catania, Città Universitaria, viale A. Doria 6, 95125, Catania, Italy

    Elvinia Riccobene

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Prinz, A., Thalheim, B. (2003). ASM Specification of Database Systems. In: Börger, E., Gargantini, A., Riccobene, E. (eds) Abstract State Machines 2003. ASM 2003. Lecture Notes in Computer Science, vol 2589. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36498-6_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-36498-6_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00624-4

  • Online ISBN: 978-3-540-36498-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation