Correctness of semantic integrity checking in database management systems
type: Item
instance of: scholarly article
title: Correctness of semantic integrity checking in database management systems
zbMATH Open document ID: 0634.68108
DOI: 10.1007/BF02915445
author: D. Musto
author: Elisa Bertino
published in: Acta Informatica
publication date: 1988-01-01T00:00:00Z
review text: Although today's applications are very demanding with regard to semantic integrity, few database systems provide capabilities of this type. In this paper, a definition of integrity constraint is given in terms of relational algebra and certain aspects are then discussed concerning transaction management in the presence of such integrity constraints. In particular, the problem of when to enforce a set of integrity constraints during the execution of a transaction is addressed. For this purpose the notion of integrity enforcement schedule is introduced. An integrity enforcement schedule represents the sequence of integrity checking actions performed during the execution of a transaction. A correctness criterion for the integrity enforcement schedules is established, and a sufficient condition for the correctness is provided. Finally the notion of minimal integrity enforcement schedule is introduced. The minimal integrity enforcement schedules are those integrity enforcement schedules in which every constraint is verified ``as soon as possible''. For this reason they are really desirable in the transaction management to avoid expensive rollingback operations. Algorithms for their construction are presented, together with the associated correctness proofs.
Mathematics Subject Classification ID: 68P20
zbMATH DE Number: 4033147
zbMATH Keywords: semantic integrity
zbMATH Keywords: database systems
zbMATH Keywords: relational algebra
zbMATH Keywords: integrity enforcement schedule
zbMATH Keywords: transaction management
describes a project that uses: INGRES
MaRDI profile type: Publication
cites work: Query optimization by using knowledge about data semantics
cites work: A relational model of data for large shared data banks
cites work: Q4441489
cites work: Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions
cites work: Q3668890
cites work: Logic for improving integrity checking in relational data bases
cites work: Q3347338
full work available at URL: https://doi.org/10.1007/bf02915445
OpenAlex ID: W2051065032
description: scientific article; zbMATH DE number 4033147