<p>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 shor
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
✍ Scribed by Ralf Schenkel, Gerhard Weikum, Norbert Weißenberg, Xuequn Wu (auth.), Gunter Saake, Kerstin Schwarz, Can Türker (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 2000
- Tongue
- English
- Leaves
- 254
- Series
- Lecture Notes in Computer Science 1773
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
✦ Synopsis
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.
✦ Table of Contents
Federated Transaction Management with Snapshot Isolation....Pages 1-25
Serializability, Concurrency Control, and Replication Control....Pages 26-44
Logical Update Queries as Open Nested Transactions....Pages 45-66
Inheritance in a Deductive Object Database Language with Updates....Pages 67-90
Specifying Distributed and Dynamically Evolving Information Systems Using an Extended Co-nets Approach....Pages 91-111
Specifying Active Rules for Database Maintenance....Pages 112-129
Nested Transactions with Integrity Constraints....Pages 130-149
Declarative Specifications of Complex Transactions....Pages 150-166
Open Nested Transactions: A Support for Increasing Performance and Multi-tier Applications....Pages 167-192
Execution Guarantees in Electronic Commerce Payments....Pages 193-202
Transactions in Mobile Electronic Commerce....Pages 203-224
Transactions and Electronic Commerce....Pages 225-230
Transactional Computation: Overview and Discussion....Pages 231-245
✦ Subjects
Database Management; Information Systems Applications (incl.Internet)
📜 SIMILAR VOLUMES
<span>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 s
<p>The Ninth International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO) took place in Dagstuhl Germany, Sept- ber 18{21, 2000. The topic of this workshop was Database schema Evolution and Meta-Modeling; this FoMLaDO Workshop was hence assigned the acronym DEMM 2000.
<p>The Ninth International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO) took place in Dagstuhl Germany, Sept- ber 18{21, 2000. The topic of this workshop was Database schema Evolution and Meta-Modeling; this FoMLaDO Workshop was hence assigned the acronym DEMM 2000.
<p>Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure-oriented, process-oriented, and behaviour-oriented. Database literature has traditionally focused on structure-oriented approaches, but
The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 August-1 September 1993. The areas of interest and the format of DBPL-4 focused on the integration of programming languages, object models, type syste