Skip to main content
SpringerLink
Log in

Transactions and Database Dynamics

8th International Workshop on Foundations of Models and Languages for Data and Objects, Dagstuhl Castle, Germany, September 27-30, 1999 Selected Papers

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Gunter Saake

    1. Institute of Technical and Business Information Systems, University of Magdeburg, Magdeburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Kerstin Schwarz

    1. UBS AG, Zürich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Can Türker

    1. Swiss Federal Institute of Technology (ETH) Zürich Institute of Information Systems, ETH Zentrum, Zürich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: FoMLaDO 1999.

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

Access this book

Log in via an institution
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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Regular Papers

    1. Federated Transaction Management with Snapshot Isolation

      • Ralf Schenkel, Gerhard Weikum, Norbert Weißenberg, Xuequn Wu
      Pages 1-25

    2. Serializability, Concurrency Control, and Replication Control

      • Ekkart Kindler
      Pages 26-44

    3. Logical Update Queries as Open Nested Transactions

      • Alfred Fent, Carl-Alexander Wichert, Burkhard Freitag
      Pages 45-66

    4. Inheritance in a Deductive Object Database Language with Updates

      • Elisa Bertino, Giovanna Guerrini, Danilo Montesi
      Pages 67-90

    5. Specifying Distributed and Dynamically Evolving Information Systems Using an Extended Co-nets Approach

      • Nasreddine Aoumeur
      Pages 91-111

    6. Specifying Active Rules for Database Maintenance

      • Leopoldo Bertossi, Javier Pinto
      Pages 112-129

    7. Nested Transactions with Integrity Constraints

      • Anne Doucet, Stephane Gançarski, Claudia León, Marta Rukoz
      Pages 130-149

    8. Declarative Specifications of Complex Transactions

      • Bert De Brock
      Pages 150-166

    9. Open Nested Transactions: A Support for Increasing Performance and Multi-tier Applications

      • Malik Saheb, Ramzi Karoui, Simone Sedillot
      Pages 167-192

    10. Execution Guarantees in Electronic Commerce Payments

      • Heiko Schuldt, Andrei Popovici, Hans-Jörg Schek
      Pages 193-202

  3. Invited Paper

    1. Transactions in Mobile Electronic Commerce

      • Jari Veijalainen
      Pages 203-224

  4. Working Group Papers

    1. Transactions and Electronic Commerce

      • Heiko Schuldt, Andrei Popovici
      Pages 225-230

    2. Transactional Computation: Overview and Discussion

      • Alfs T. Berztiss
      Pages 231-245

  5. Back Matter

    Pages 247-247
    Download chapter PDF
Back to top

Other volumes

  1. Transactions and Database Dynamics

Keywords

About this book

These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics", which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three short papers were accepted for inclusion in the proceedings. The papers address various issues of transactions and database dynamics: { criteria and protocols for global snapshot isolation in federated transaction management, { uni ed theory of concurrency control and replication control, { speci cation of evolving information systems, { inheritance mechanisms for deductive object databases with updates, { speci cation of active rules for maintaining database consistency, { integrity checking in subtransactions, { open nested transactions for multi-tier architectures, { declarative speci cation of transactions with static and dynamic integrity constraints, { logic-based speci cation of update queries as open nested transactions, and { execution guarantees and transactional processes in electronic commerce payments. In addition to the regular papers, there are papers resulting from two working groups. The rst working group paper discusses the basis for transactional c- putation. In particular, it addresses the speci cation of transactional software. The second working group paper focuses on transactions in electronic commerce applications. Among others, Internet transactions, payment protocols, and c- currency control and persistence mechanisms are discussed. Moreover, there is an invited paper by Jari Veijalainen which discusses tr- sactional aspects in mobile electronic commerce.

Editors and Affiliations

  • Institute of Technical and Business Information Systems, University of Magdeburg, Magdeburg, Germany

    Gunter Saake

  • UBS AG, Zürich, Switzerland

    Kerstin Schwarz

  • Swiss Federal Institute of Technology (ETH) Zürich Institute of Information Systems, ETH Zentrum, Zürich, Switzerland

    Can Türker

Bibliographic Information

  • Book Title: Transactions and Database Dynamics

  • Book Subtitle: 8th International Workshop on Foundations of Models and Languages for Data and Objects, Dagstuhl Castle, Germany, September 27-30, 1999 Selected Papers

  • Editors: Gunter Saake, Kerstin Schwarz, Can Türker

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-46466-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: The Editor(s) (if applicable) and The Author(s) 2000

  • Softcover ISBN: 978-3-540-67201-2Published: 23 February 2000

  • eBook ISBN: 978-3-540-46466-2Published: 26 June 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 256

  • Topics: Data Structures and Information Theory, Database Management, Information Systems Applications (incl. Internet)

Publish with us

Policies and ethics

Back to top

Search

Navigation