This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Foundations of Models and Languages for Data and Objects, held in Dagstuhl Castle, Germany in September 1999. Seven long papers and three short papers are presented in revised full version. Also included is an invited paper by Veijalainen on Transactions in Mobile Electronic Commerce as well as two working group papers. The book presents recent results on all current aspects of database transactions processing, with an emphasis on electronic commerce applications.
Regular Papers.- Federated Transaction Management with Snapshot Isolation.- Serializability, Concurrency Control, and Replication Control.- Logical Update Queries as Open Nested Transactions.- Inheritance in a Deductive Object Database Language with Updates.- Specifying Distributed and Dynamically Evolving Information Systems Using an Extended Co-nets Approach.- Specifying Active Rules for Database Maintenance.- Nested Transactions with Integrity Constraints.- Declarative Specifications of Complex Transactions.- Open Nested Transactions: A Support for Increasing Performance and Multi-tier Applications.- Execution Guarantees in Electronic Commerce Payments.- Invited Paper.- Transactions in Mobile Electronic Commerce.- Working Group Papers.- Transactions and Electronic Commerce.- Transactional Computation: Overview and Discussion.
Overview
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Foundations of Models and Languages for Data and Objects, held in Dagstuhl Castle, Germany in September 1999. Seven long papers and three short papers are presented in revised full version. Also included is an invited paper by Veijalainen on Transactions in Mobile Electronic Commerce as well as two working group papers. The book presents recent results on all current aspects of database transactions ...