Extended Transaction Models for Software Development Environments

This technical report consists of two papers discussing concurrency control facilities for multiuser software development environments. A Marvelous Extended Transaction Processing Model briefly sketches the previously developed commit-serializability model and then applies it to the MARVEL kernel for software development environments. A Participant Semantics for Serializable Transactions describes our first pass at a different extended transaction model that moves users inside the system, so certain users may participate in transactions and the interactions among transactions while all other users observe only a serial order for the transactions

Design and evaluation of a new transaction execution model for multidatabase systems

Cataloged from PDF version of article.In this paper, we present a new transaction execution model that captures the formalism and semantics of various extended transaction models and adopts them to a multidatabase system (MDBS) environment. The proposed model covers nested transactions, various dependency types among transactions, and commit independent transactions. The formulation of complex MDBS transaction types can be accomplished easily with the extended semantics captured in the model. A detailed performance model of an MDBS is employed in investigating the performance implications of the proposed transaction model. © Elsevier Science Inc. 1997

Flexible Transaction Dependencies in Database Systems

Numerous extended transaction models have been proposed in the literature to overcome the limitations of the traditional transaction model for advanced applications characterized by their long durations, cooperation between activities and access to multiple databases (like CAD/CAM and office automation). However, most of these extended models have been proposed with specific applications in mind and almost always fail to support applications with slightly different requirements.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/44828/1/10619_2004_Article_270346.pd

Integrating Transaction Services into Web-based Software Development Environments

Software Development Environments (SDE) require sophisticated database transaction models due to the long-duration,interactive, and cooperative nature of the software engineering activities. Such Extended Transaction Models (ETM) have been proposed and implemented by building application-specific databases for the SDEs. With the development of World Wide Web (WWW), there have been a number of efforts to build SDEs on top of the WWW. Using web servers as the databases to store the software artifacts provided us with a new challenge: how to implement the ETMs in such web-based SDEs without requiring the web servers to be customized specifically according to the application domains of the SDEs. This paper presents our experiences of integrating transaction services into web based SDEs. We evolved from the traditional approach of building a transaction management component that operated on top of a dedicated database to the external transaction server approach. A transaction server, called JPernLite, was built to operate independently of the web servers and provide the necessary extensibility for SDEs to implement their ETMs. The transaction server can be integrated into the SDE via a number of interfaces, and we discuss the pros and cons of each alternative in detail

WIDE - A Distributed Architecture for Workflow Management

This paper presents the distributed architecture of the WIDE workflow management system. We show how distribution and scalability are obtained by the use of a distributed object model, a client/server architecture, and a distributed workflow server architecture. Specific attention is paid to the extended transaction support and active rule support subarchitectures

Executing Multidatabase Transactions

In a multidatabase environment, the traditional transaction model has been found to be too restrictive. Therefore, several extended transaction models have been proposed in which some of the requirements of transaction, such as isolation or atomicity, are optional. The authors describe one of such extensions, the flexible transaction model and discuss the scheduling of transactions involving multiple autonomous database systems managed by heterogeneous DBMS. The scheduling algorithm for flexible transactions is implemented using L.0, a logically parallel language which provides a framework for concisely specifying the multidatabase transactions and for scheduling them. The key aspects of a flexible transaction specification, such as subtransaction execution dependencies and transaction success criteria, can be naturally represented in L.0. Furthermore, scheduling in L.0 achieves maximal parallelism allowed by the specifications of transactions, which results in the improvement of their response times. To provide access to multiple heterogeneous hardware and software systems, they use the Distributed Operation Language (DOL). DOL approach is based on providing a common communication and data exchange protocol and uses local access managers to protect the autonomy of member software systems. When L.0 determines that a subtransaction is ready to execute, it hands it through an interface to the DOL system for execution. The interface between L.0 and DOL provides the former with the execution status of subtransactions

Transaction Support for DataWeb Applications - A Requirement\u27s Perspective

W eb-based purely providing read-only access to information in terms of static HTML pages. Rather, more and more web-based information systems store (part of) the information within a database system (DBS) and generate HTML pages on demand. Such information systems are often called DataWeb Applications. Different users interact with the system, and often they perform changes concurrently. As an example in the area of electronic commerce, consider a web-based tourism information system, where an unpredictable number of a priori unknown tourists are allowed to book various tourism facilities at the same time. Whereas financial and security issues of such electronic commerce transactions are extensively discussed in literature, very few work exists on the database transaction aspect in terms of consistency and reliability of electronic commerce transactions and of DataWeb applications in general. The objective of this paper is to discuss the specific requirements that different architectures of DataWeb applications and the web itself pose on transaction management, and to identify promising technologies for enabling web transaction services

Protocols for Integrity Constraint Checking in Federated Databases

A federated database is comprised of multiple interconnected database systems that primarily operate independently but cooperate to a certain extent. Global integrity constraints can be very useful in federated databases, but the lack of global queries, global transaction mechanisms, and global concurrency control renders traditional constraint management techniques inapplicable. This paper presents a threefold contribution to integrity constraint checking in federated databases: (1) The problem of constraint checking in a federated database environment is clearly formulated. (2) A family of protocols for constraint checking is presented. (3) The differences across protocols in the family are analyzed with respect to system requirements, properties guaranteed by the protocols, and processing and communication costs. Thus, our work yields a suite of options from which a protocol can be chosen to suit the system capabilities and integrity requirements of a particular federated database environment

Dynamic Modification of Transaction Isolation in the Apotram Transaction Model

There is a broad consensus in the database research community that the traditional ACID properties are not suitable for certain application domains. Especially, long-lasting and information sharing transactions are not adequately supported. Several extended transaction models have been presented to deal with these shortcomings. Many of these models do this by relaxing the isolation property. Apotram, presented by Ole Jørgen Anfindsen, is one such model. It allows transactions to customize their degree of isolation. This is achieved by introducing two mechanisms, parameterized access modes and nested databases. Apotram requires transactions to be able to modify their degree of isolation dynamically. This is achieved by allowing transactions to modify their associated parameterized access modes. This thesis analyzes the consequences of this requirement and points out when these modifications introduce conflicts. First, parameter modification is analyzed in the context of parameterized access modes only, then the integration of access modes and nested databases is investigated. Furthermore, a set of strategies for resolving and avoiding conflicts are introduced and discussed