Knowledge-based Integrity Constraint Validation.

@inproceedings{DBLP:conf/vldb/QianW86,
  author    = {Xiaolei Qian and
               Gio Wiederhold},
  editor    = {Wesley W. Chu and
               Georges Gardarin and
               Setsuo Ohsuga and
               Yahiko Kambayashi},
  title     = {Knowledge-based Integrity Constraint Validation},
  booktitle = {VLDB'86 Twelfth International Conference on Very Large Data Bases,
               August 25-28, 1986, Kyoto, Japan, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1986},
  isbn      = {0-934613-18-4},
  pages     = {3-12},
  ee        = {db/conf/vldb/QianW86.html},
  crossref  = {DBLP:conf/vldb/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1986 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

[1]

Dushan Z. Badal, Gerald J. Popek: Cost and Performance Analysis of Semantic Integrity Validation Methods. SIGMOD Conference 1979: 109-115 BibTeX

[2]

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

[3]

...

[4]

...

[5]

Antonio L. Furtado, Clesio Saraiva dos Santos, José Mauro Volkmer de Castilho: Dynamic modelling of a simple existence constraint. Inf. Syst. 6(1): 73-80(1981) BibTeX

[6]

...

[7]

...

[8]

Michael Hammer, Dennis McLeod: Semantic Integrity in a Relational Data Base System. VLDB 1975: 25-47 BibTeX

[9]

Michael Hammer, Dennis McLeod: A Framework for Data Base Semantic Integrity. ICSE 1976: 498-504 BibTeX

[10]

...

[11]

...

[12]

Matthew Morgenstern: The Role of Constraints in Databases, Expert Systems, and Knowledge Representation. Expert Database Workshop 1984: 351-368 BibTeX

[13]

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

[14]

Allan Shepherd, Larry Kerschberg: PRISM: A Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems. SIGMOD Conference 1984: 307-315 BibTeX

[15]

Allan Shepherd, Larry Kerschberg: Constraint Management in Expert Database Systems. Expert Database Workshop 1984: 309-331 BibTeX

[16]

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

[17]

...

[18]

...

[19]

...

[20]

...

Referenced by

1. Narayanan Krishnakumar, Arthur J. Bernstein: Bounded Ignorance: A Technique for Increasing Concurrency in a Replicated System. ACM Trans. Database Syst. 19(4): 586-625(1994)
2. 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
3. Christoph F. Eick, Paul Werstein: Rule-Based Consistency Enforcement for Knowledge-Based Systems. IEEE Trans. Knowl. Data Eng. 5(1): 52-64(1993)
4. 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
5. Nabil Kamel, Roger King: Intelligent Database Caching Through the Use of Page-Answers and Page-Traces. ACM Trans. Database Syst. 17(4): 601-646(1992)
6. Narayanan Krishnakumar, Arthur J. Bernstein: Bounded Ignorance in Replicated Systems. PODS 1991: 63-74
7. Uwe Hohenstein, Klaus Hülsmann: A Language for Specifying Static and Dynamic Integrity Constraints. ER 1991: 389-416
8. Y. Richard Wang, Stuart E. Madnick: A Polygen Model for Heterogeneous Database Systems: The Source Tagging Perspective. VLDB 1990: 519-538
9. Tore Risch: Monitoring Database Objects. VLDB 1989: 445-453
10. Donald Cohen: Compiling Complex Database Transition Triggers. SIGMOD Conference 1989: 225-234
11. Xiaolei Qian, Douglas R. Smith: Integrity Constraint Reformulation for Efficient Validation. VLDB 1987: 417-425
12. Gia Toan Nguyen, Dominique Rieu: Expert Database Support for Consistent Dynamic Objects. VLDB 1987: 493-500