dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Enforcing Inclusion Dependencies and Referencial Integrity.

Marco A. Casanova, Luiz Tucherman, Antonio L. Furtado: Enforcing Inclusion Dependencies and Referencial Integrity. VLDB 1988: 38-49
@inproceedings{DBLP:conf/vldb/CasanovaTF88,
  author    = {Marco A. Casanova and
               Luiz Tucherman and
               Antonio L. Furtado},
  editor    = {Fran\c{c}ois Bancilhon and
               David J. DeWitt},
  title     = {Enforcing Inclusion Dependencies and Referencial Integrity},
  booktitle = {Fourteenth International Conference on Very Large Data Bases,
               August 29 - September 1, 1988, Los Angeles, California, USA,
               Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  isbn      = {0-934613-75-3},
  pages     = {38-49},
  ee        = {http://www.vldb.org/conf/1988/P038.PDF},
  crossref  = {DBLP:conf/vldb/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

The general architecture of a monitor that enforces inclusion dependencies and referential integrity is described. The monitor traces the operations a user submits in a session and can either modify an operation or propagate it, depending on additional information the database designer provided at design time. Propagation is implemented by executing new operations when the session terminates, using summary data collected during normal processing.

Copyright © 1988 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Printed Edition

François Bancilhon, David J. DeWitt (Eds.): Fourteenth International Conference on Very Large Data Bases, August 29 - September 1, 1988, Los Angeles, California, USA, Proceedings. Morgan Kaufmann 1988, ISBN 0-934613-75-3
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[ASM]
Patrizia Asirelli, Michele de Santis, Maurizio Martelli: Integrity Constraints for Logic Databases. J. Log. Program. 2(3): 221-232(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BB]
Philip A. Bernstein, Barbara T. Blaustein: Fast Methods for Testing Quantified Relational Calculus Assertions. SIGMOD Conference 1982: 39-50 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BBC]
Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. VLDB 1980: 126-136 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BC]
Peter Buneman, Eric K. Clemons: Efficient Monitoring Relational Databases. ACM Trans. Database Syst. 4(3): 368-382(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BL]
...
[CFP]
Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. J. Comput. Syst. Sci. 28(1): 29-59(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CFT]
...
[Da]
C. J. Date: Referential Integrity. VLDB 1981: 2-12 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[FCT]
Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman: The CHRIS Consultant. ER 1987: 515-532 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HI]
Arding Hsu, Tomasz Imielinski: Integrity Checking for Multiple Updates. SIGMOD Conference 1985: 152-168 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HMN]
Lawrence J. Henschen, William McCune, Shamim A. Naqvi: Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HS]
Michael Hammer, Sunil K. Sarin: Efficient Monitoring of Database Assertions (Abstract). SIGMOD Conference 1978: 159 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KP]
Shaye Koenig, Robert Paige: A Transformational Framework for the Automatic Control of Derived Data. VLDB 1981: 306-318 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[La]
Gilles M. E. Lafue: Semantic Integrity Dependencies and Delayed Integrity Checking. VLDB 1982: 292-299 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LB]
Leszek Lilien, Bharat K. Bhargava: A Scheme for Batch Verification of Integrity Assertions in a Database System. IEEE Trans. Software Eng. 10(6): 664-680(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Li]
Tok Wang Ling: Integrity Constraint Checking in Deductive Databases Using the Prolog Not-Predicate. Data Knowl. Eng. 2: 145-168(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LMP]
Bruce G. Lindsay, John McPherson, Hamid Pirahesh: A Data Management Extension Architecture. SIGMOD Conference 1987: 220-226 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Pa]
Robert Paige: Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization. Advances in Data Base Theory 1982: 171-209 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[QS]
Xiaolei Qian, Douglas R. Smith: Integrity Constraint Reformulation for Efficient Validation. VLDB 1987: 417-425 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SAH]
Michael Stonebraker, Jeff Anton, Eric N. Hanson: Extending a Database System with Procedures. ACM Trans. Database Syst. 12(3): 350-376(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SQL]
...
[St]
Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Mon Sep 17 22:00:44 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page