Transactional Information Systems is the long-awaited, comprehensive work from leading
scientists in the transaction processing field. Weikum and Vossen begin with a broad look at …

Many transaction processing applications execute at isolation levels lower than serializable
in order to increase throughput and reduce response time. The problem is that non …

Many transaction processing applications execute at isolation levels lower than
SERIALIZABLE in order to increase throughput and reduce response time. However, the …

Correctness is an important aspect of workflow management systems. However, most of the
workflow literature focuses only on the modeling aspects and assumes that a workflow is …

The throughput of a transaction processing system can be improved by decomposing
transactions into steps and allowing the steps of concurrent transactions to be interleaved. In …

Serializability is the correctness criterion generally used in the literature to determine a
schedule's correctness. Such a criterion is clearly inappropriate, however, in determining the …

We present a theorem-prover based analysis tool for object-oriented database systems with
integrity constraints. Object-oriented database specifications are mapped to higher-order …

An input circuit is coupled to a first bus to transfer a delayed transaction (DT) data having a
transaction identifier to one of N buffers. The input circuit is dynamically configured …

The performance of a transaction processing system whose database is not completely
memory-resident critically depends on the amount of physical disk I/O required. This paper …

In this paper, we take an engineering approach to atomic transaction verification. We
discuss the design and implementation of a verification tool that can reason about the …