A formalism for extended transaction model

Chrysanthis , Panos K. ; Ramamritham, Krithi (1991) A formalism for extended transaction model Proceedings of the 17th International Conference on Very Large Data Bases . pp. 103-112.

Full text not available from this repository.


Several extensions to the transaction model adopted in traditional database systems have been proposed in order to support the functional and performance requirements of emerging advanced applications such as design environments. In [6], we introduced a comprehensive transaction framework, called ACTA to specify the effects of extended transactions on each other and on objects in the database, and to reason about the properties of extended transactions. This paper presents the formalism, underlying ACTA, necessary to prove the visibility, consistency, recovery, and permanence properties of transactions in the extended models. In this paper we show how the formalism,can be used to specify and reason about the properties of traditional, nested, and split transaction models.

Item Type:Article
Source:Copyright of this article belongs to Morgan Kaufmann Publishers Inc.
ID Code:94301
Deposited On:23 Aug 2012 10:57
Last Modified:23 Aug 2012 10:57

Repository Staff Only: item control page