+612 9045 4394
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
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

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

By: Gunter Saake (Editor), Kerstin Schwarz (Editor), Klaus-Peter Schwarz (Editor), Can Turker (Editor)

Paperback Published: 23rd February 2000
ISBN: 9783540672012
Number Of Pages: 256

Share This Book:


or 4 easy payments of $31.26 with Learn more
Ships in 10 to 15 business days

Earn 250 Qantas Points
on 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.

Regular Papers
Federated Transaction Management with Snapshot Isolationp. 1
Serializability, Concurrency Control, and Replication Controlp. 26
Logical Update Queries as Open Nested Transactionsp. 45
Inheritance in a Deductive Object Database Language with Updatesp. 67
Specifying Distributed and Dynamically Evolving Information Systems Using an Extended Co-nets Approachp. 91
Specifying Active Rules for Database Maintenancep. 112
Nested Transactions with Integrity Constraintsp. 130
Declarative Specifications of Complex Transactionsp. 150
Open Nested Transactions: A Support for Increasing Performance and Multi-tier Applicationsp. 167
Execution Guarantees in Electronic Commerce Paymentsp. 193
Invited Paper
Transactions in Mobile Electronic Commercep. 203
Working Group Papers
Transactions and Electronic Commercep. 225
Transactional Computation: Overview and Discussion Topicsp. 231
Author Indexp. 247
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540672012
ISBN-10: 354067201X
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 256
Published: 23rd February 2000
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.4
Weight (kg): 0.37

Earn 250 Qantas Points
on this Book