Enforcing Inclusion Dependencies and Referencial Integrity.

@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        = {db/conf/vldb/CasanovaTF88.html},
  crossref  = {DBLP:conf/vldb/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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.

Online Paper

• Download PDF file (www.vldb.org, Darmstadt, Germany)
• Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/vldb7588 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

References

[ASM]

Patrizia Asirelli, Michele de Santis, Maurizio Martelli: Integrity Constraints for Logic Databases. J. Log. Program. 2(3): 221-232(1985) BibTeX

[BB]

Philip A. Bernstein, Barbara T. Blaustein: Fast Methods for Testing Quantified Relational Calculus Assertions. SIGMOD Conference 1982: 39-50 BibTeX

[BBC]

Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. VLDB 1980: 126-136 BibTeX

[BC]

Peter Buneman, Eric K. Clemons: Efficient Monitoring Relational Databases. ACM Trans. Database Syst. 4(3): 368-382(1979) BibTeX

[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) BibTeX

[CFT]

...

[Da]

C. J. Date: Referential Integrity. VLDB 1981: 2-12 BibTeX

[FCT]

Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman: The CHRIS Consultant. ER 1987: 515-532 BibTeX

[HI]

Arding Hsu, Tomasz Imielinski: Integrity Checking for Multiple Updates. SIGMOD Conference 1985: 152-168 BibTeX

[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 BibTeX

[HS]

Michael Hammer, Sunil K. Sarin: Efficient Monitoring of Database Assertions (Abstract). SIGMOD Conference 1978: 159 BibTeX

[KP]

Shaye Koenig, Robert Paige: A Transformational Framework for the Automatic Control of Derived Data. VLDB 1981: 306-318 BibTeX

[La]

Gilles M. E. Lafue: Semantic Integrity Dependencies and Delayed Integrity Checking. VLDB 1982: 292-299 BibTeX

[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) BibTeX

[Li]

Tok Wang Ling: Integrity Constraint Checking in Deductive Databases Using the Prolog Not-Predicate. Data Knowl. Eng. 2: 145-168(1987) BibTeX

[LMP]

Bruce G. Lindsay, John McPherson, Hamid Pirahesh: A Data Management Extension Architecture. SIGMOD Conference 1987: 220-226 BibTeX

[Pa]

Robert Paige: Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization. Advances in Data Base Theory 1982: 171-209 BibTeX

[QS]

Xiaolei Qian, Douglas R. Smith: Integrity Constraint Reformulation for Efficient Validation. VLDB 1987: 417-425 BibTeX

[SAH]

Michael Stonebraker, Jeff Anton, Eric N. Hanson: Extending a Database System with Procedures. ACM Trans. Database Syst. 12(3): 350-376(1987) BibTeX

[SQL]

...

[St]

Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 BibTeX

Referenced by

1. Philippe Picouet, Victor Vianu: Semantics and Expressiveness Issues in Active Databases. PODS 1995: 126-138
2. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
   Contents
3. Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Generation of Production Rules for Integrity Maintenance. ACM Trans. Database Syst. 19(3): 367-422(1994)
4. Alberto H. F. Laender, Donal J. Flynn: A Semantic Comparison of the Modelling Capabilities of the ER and NIAM Models. ER 1993: 242-256
5. H. V. Jagadish, Xiaolei Qian: Integrity Maintenance in Object-Oriented Databases. VLDB 1992: 469-480
6. Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577
7. Marco A. Casanova, Luiz Tucherman, Alberto H. F. Laender: Algorithms for Designing and Maintaining Optimized Relational Representations of Entity-Relationship Schemas. ER 1990: 361-374
8. Marco A. Casanova, Luiz Tucherman, Antonio L. Furtado, Anelise P. Braga: Optimization of Relational Schemas Containing Inclusion Dependencies. VLDB 1989: 317-325
9. Stephanie J. Cammarata, Prasadram Ramachandra, Darrell Shane: Extendeing a Relational Database with Deferred Referential Integrity Checking and Intelligent Joins. SIGMOD Conference 1989: 88-97