Assuring Database Integrity

Assuring Database Integrity

David Stemple (University of Massachusetts, USA), Eric Simon (INRIA, France), Subhasish Mazumdar (University of Massachusetts, USA) and Matthias Jarke (University of Passau, Germany)
Copyright: © 1990 |Pages: 16
DOI: 10.4018/jdm.1990070102
OnDemand PDF Download:
$30.00
List Price: $37.50

Abstract

Database integrity has many facets. Both consistency, the property of a database modeling a possible state of the world, and correctness, the exact correspondence of the data to the state of the world being modeled, are important aspects of integrity. Integrity also includes guaranteeing that meaningful views and changes result from interleaved access to the database occurring in typical transaction processing, a property known as atomicity of transactions. Assuring database integrity requires several mechanisms, including language capabilities, runtime processing, and operational controls. Here we concentrate on the maintenance of consistency, both the means of stating database consistency properties and techniques of efficiently assuring that a database can only change from one consistent state to another. We present a theorem-based method of simplifying integrity constraints at the heart of most techniques for achieving efficient integrity assurance. We argue that these techniques are currently practical enough to be included in database system products in the near future, but that languages used to specify constraints and transactions will have to be of a high level of abstraction, reasonably formal, and uniform in order for this to happen.

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