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

  • Gunter Saake
  • Kerstin Schwarz
  • Can Türker
Conference proceedings FoMLaDO 1999

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Regular Papers

    1. Ralf Schenkel, Gerhard Weikum, Norbert Weißenberg, Xuequn Wu
      Pages 1-25
    2. Alfred Fent, Carl-Alexander Wichert, Burkhard Freitag
      Pages 45-66
    3. Elisa Bertino, Giovanna Guerrini, Danilo Montesi
      Pages 67-90
    4. Leopoldo Bertossi, Javier Pinto
      Pages 112-129
    5. Anne Doucet, Stephane Gançarski, Claudia León, Marta Rukoz
      Pages 130-149
    6. Heiko Schuldt, Andrei Popovici, Hans-Jörg Schek
      Pages 193-202
  3. Invited Paper

    1. Jari Veijalainen
      Pages 203-224
  4. Working Group Papers

    1. Heiko Schuldt, Andrei Popovici
      Pages 225-230
  5. Back Matter
    Pages 247-247

About these proceedings


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.


Transaction processing concurrency database database dynamics database update electronic commerce applicatons maintenance performance transaction management transactional computation

Editors and affiliations

  • Gunter Saake
    • 1
  • Kerstin Schwarz
    • 2
  • Can Türker
    • 3
  1. 1.Institute of Technical and Business Information SystemsUniversity of MagdeburgMagdeburgGermany
  2. 2.UBS AGZürichSwitzerland
  3. 3.Swiss Federal Institute of Technology (ETH) Zürich Institute of Information SystemsETH ZentrumZürichSwitzerland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67201-2
  • Online ISBN 978-3-540-46466-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software