Conditional Conflict Serializability: An Application Oriented Correctness Criterion

Conditional Conflict Serializability: An Application Oriented Correctness Criterion

Ole J. Anfindsen (Telenor R&D, Norway)
Copyright: © 1998 |Pages: 9
DOI: 10.4018/jdm.1998100103
OnDemand PDF Download:
$30.00
List Price: $37.50

Abstract

Serializability is too strict a correctness criterion for several application domains, in particular where support for long-lasting transactions is required. This paper describes a generalized version of serializability called conditional conflict serializability (CCSR), which is built on a customized notion of conflict rather than the standard commutativity-based one. The actual customization of conflicts is carried out by applications that associate parameters with their read and write operations. The semantics of such parameters are user-defined, and can be chosen to suit various needs. CCSR can be enforced by means of two phase locking with parameterized locks. Transaction histories that are strict or rigorous modulo CCSR are defined, showing that a CCSR scheduler need not rely on compensating actions for recovery.

Complete Article List

Search this Journal:
Reset
Open Access Articles
Volume 28: 4 Issues (2017)
Volume 27: 4 Issues (2016)
Volume 26: 4 Issues (2015)
Volume 25: 4 Issues (2014)
Volume 24: 4 Issues (2013)
Volume 23: 4 Issues (2012)
Volume 22: 4 Issues (2011)
Volume 21: 4 Issues (2010)
Volume 20: 4 Issues (2009)
Volume 19: 4 Issues (2008)
Volume 18: 4 Issues (2007)
Volume 17: 4 Issues (2006)
Volume 16: 4 Issues (2005)
Volume 15: 4 Issues (2004)
Volume 14: 4 Issues (2003)
Volume 13: 4 Issues (2002)
Volume 12: 4 Issues (2001)
Volume 11: 4 Issues (2000)
Volume 10: 4 Issues (1999)
Volume 9: 4 Issues (1998)
Volume 8: 4 Issues (1997)
Volume 7: 4 Issues (1996)
Volume 6: 4 Issues (1995)
Volume 5: 4 Issues (1994)
Volume 4: 4 Issues (1993)
Volume 3: 4 Issues (1992)
Volume 2: 4 Issues (1991)
Volume 1: 2 Issues (1990)
View Complete Journal Contents Listing