Design and Implementation of an Extendible Integrity Subsystem.
Eric Simon, Patrick Valduriez:
Design and Implementation of an Extendible Integrity Subsystem.
SIGMOD Conference 1984: 9-17@inproceedings{DBLP:conf/sigmod/SimonV84,
author = {Eric Simon and
Patrick Valduriez},
editor = {Beatrice Yormark},
title = {Design and Implementation of an Extendible Integrity Subsystem},
booktitle = {SIGMOD'84, Proceedings of Annual Meeting, Boston, Massachusetts,
June 18-21, 1984},
publisher = {ACM Press},
year = {1984},
pages = {9-17},
ee = {http://doi.acm.org/10.1145/602259.602262, db/conf/sigmod/SimonV84.html},
crossref = {DBLP:conf/sigmod/84},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
This paper presents a powerful integrity
subsystem, which is implemented in the SABRE
database system. The specification language is
simple. The enforcement algorithm is general,
in particular, it handles referential dependency
and temporal assertions. Specialized strategies
efficiently treat each class of assertions. The
system automatically manages integrity
checkpoints. Also, an efficient method is
described for processing assertions involving
aggregates. An analysis exhibits the value of the
algorithms. It is shown that, in general, this
method is better than the query modification
method for domain assertions. Measures have also
been done for giving the cost added for
controlling integrity in comparison with the cost
of the request itself.
Copyright © 1984 by the ACM,
Inc., used by permission. Permission to make
digital or hard copies is granted provided that
copies are not made or distributed for profit or
direct commercial advantage, and that copies show
this notice on the first page or initial screen of
a display along with the full citation.
Online Version (ACM WWW Account required): Full Text in PDF Format
CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Beatrice Yormark (Ed.):
SIGMOD'84, Proceedings of Annual Meeting, Boston, Massachusetts, June 18-21, 1984.
ACM Press 1984 BibTeX
,
SIGMOD Record 14(2)
Contents
References
- [ASTR76]
- Morton M. Astrahan, Mike W. Blasgen, Donald D. Chamberlin, Kapali P. Eswaran, Jim Gray, Patricia P. Griffiths, W. Frank King III, Raymond A. Lorie, Paul R. McJones, James W. Mehl, Gianfranco R. Putzolu, Irving L. Traiger, Bradford W. Wade, Vera Watson:
System R: Relational Approach to Database Management.
ACM Trans. Database Syst. 1(2): 97-137(1976) BibTeX
- [BERN82]
- Philip A. Bernstein, Barbara T. Blaustein:
Fast Methods for Testing Quantified Relational Calculus Assertions.
SIGMOD Conference 1982: 39-50 BibTeX
- [BLAU81]
- ...
- [BROD78]
- ...
- [CREM83]
- Armin B. Cremers, G. Doman:
AIM - An Integrity Monitor for the Database System INGRES.
VLDB 1983: 167-170 BibTeX
- [DATE81]
- C. J. Date:
Referential Integrity.
VLDB 1981: 2-12 BibTeX
- [GARD79]
- Georges Gardarin, Michel A. Melkanoff:
Proving Consistency of Database Transactions.
VLDB 1979: 291-298 BibTeX
- [GARD83]
- ...
- [GARD84]
- Georges Gardarin, Patrick Valduriez, Yann Viémont:
Predicate Trees: An Approach to Optimize Relational Query Operations.
ICDE 1984: 439-444 BibTeX
- [HAMM75]
- Michael Hammer, Dennis McLeod:
Semantic Integrity in a Relational Data Base System.
VLDB 1975: 25-47 BibTeX
- [HAMM78]
- Michael Hammer, Sunil K. Sarin:
Efficient Monitoring of Database Assertions (Abstract).
SIGMOD Conference 1978: 159 BibTeX
- [NICO82]
- Jean-Marie Nicolas:
Logic for Improving Integrity Checking in Relational Data Bases.
Acta Inf. 18: 227-253(1982) BibTeX
- [SIMO84]
- ...
- [STON75]
- Michael Stonebraker:
Implementation of Integrity Constraints and Views by Query Modification.
SIGMOD Conference 1975: 65-78 BibTeX
- [VALD84]
- Patrick Valduriez, Georges Gardarin:
Join and Semijoin Algorithms for a Multiprocessor Database Machine.
ACM Trans. Database Syst. 9(1): 133-161(1984) BibTeX
- [VIEM82]
- ...
Referenced by
- Lars Bækgaard:
Transaction-Based Specification of Database Evolution.
ER 1997: 127-140
- Uwe Herzog, Ralf Schaarschmidt:
Parallel Execution of Integrity Constraint Checks.
CIKM 1995: 82-89
- Chien-Tsai Liu, Panos K. Chrysanthis, Shi-Kuo Chang:
Database Schema Evolution through the Specification and Maintenance of Changes on Entities and Relationships.
ER 1994: 132-151
- Paul W. P. J. Grefen:
Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem.
VLDB 1993: 581-591
- Michael Gertz, Udo W. Lipeck:
Deriving Integrity Maintaining Triggers from Transition Graphs.
ICDE 1993: 22-29
- Subhasish Mazumdar:
Optimizing Distributed Integrity Constraints.
DASFAA 1993: 327-334
- Peter M. G. Apers, Carel A. van den Berg, Jan Flokstra, Paul W. P. J. Grefen, Martin L. Kersten, Annita N. Wilschut:
PRISMA/DB: A Parallel Main Memory Relational DBMS.
IEEE Trans. Knowl. Data Eng. 4(6): 541-554(1992)
- Mokrane Bouzeghoub, Elisabeth Métais:
Semantic Modeling of Object Oriented Databases.
VLDB 1991: 3-14
- Mokrane Bouzeghoub, Elisabeth Métais:
Semantic Modelling and Object-Oriented Modelling: Two Complementary Paradigms.
ER 1991: 325-348
- Patrick Valduriez:
Join Indices.
ACM Trans. Database Syst. 12(2): 218-246(1987)
- Serge Abiteboul, Michel Scholl, Georges Gardarin, Eric Simon:
Towards DBMSs for Supporting New Applications.
VLDB 1986: 423-435
- Gia Toan Nguyen:
Semantic Data Engineering for Generalized Databases.
ICDE 1986: 400-406
- Claudia Bauzer Medeiros, Frank Wm. Tompa:
Understanding the Implications of View Update Policies.
VLDB 1985: 316-323
- Mokrane Bouzeghoub, Georges Gardarin, Elisabeth Métais:
Database Design Tools: An Expert System Approach.
VLDB 1985: 82-95
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:39:37 2009