Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem.

@inproceedings{DBLP:conf/vldb/Grefen93,
  author    = {Paul W. P. J. Grefen},
  editor    = {Rakesh Agrawal and
               Se{\'a}n Baker and
               David A. Bell},
  title     = {Combining Theory and Practice in Integrity Control: A Declarative
               Approach to the Specification of a Transaction Modification Subsystem},
  booktitle = {19th International Conference on Very Large Data Bases, August
               24-27, 1993, Dublin, Ireland, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1993},
  isbn      = {1-55860-152-X},
  pages     = {581-591},
  ee        = {db/conf/vldb/Grefen93.html},
  crossref  = {DBLP:conf/vldb/93},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1993 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/vldb8997 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]

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) 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]

Stefano Ceri, Giuseppe Pelagatti: Distributed Databases: Principles and Systems. McGraw-Hill Book Company 1984, ISBN 0-07-010829-3
BibTeX

[4]

Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577 BibTeX

[5]

...

[6]

Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154 BibTeX

[7]

Paul W. P. J. Grefen, Peter M. G. Apers: Parallel Handling of Integrity Constraints on Fragmented Relations. DPDS 1990: 138-145 BibTeX

[8]

...

[9]

Paul W. P. J. Grefen, Jan Flokstra, Peter M. G. Apers: Performance Evaluation of Integrity Control in a Parallel Main-Memory Database System. DEXA 1992: 96-101 BibTeX

[10]

Paul W. P. J. Grefen, Peter M. G. Apers: Integrity Control in Relational Database Systems - An Overview. Data Knowl. Eng. 10: 187-223(1993) BibTeX

[11]

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

[12]

Anthony C. Klug: Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions. J. ACM 29(3): 699-717(1982) BibTeX

[13]

Abraham Silberschatz, Henry F. Korth: Database System Concepts, 1st Edition. McGraw-Hill Book Company 1986, ISBN 0-07-100529-3
BibTeX

[14]

Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) BibTeX

[15]

...

[16]

Xiaolei Qian, Gio Wiederhold: Knowledge-based Integrity Constraint Validation. VLDB 1986: 3-12 BibTeX

[17]

Eric Simon, Patrick Valduriez: Design and Implementation of an Extendible Integrity Subsystem. SIGMOD Conference 1984: 9-17 BibTeX

[18]

...

[19]

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

[20]

Michael Stonebraker, Greg Kemnitz: The Postgres Next Generation Database Management System. Commun. ACM 34(10): 78-92(1991) BibTeX

[21]

Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX

[22]

...

Referenced by

1. Sudarshan S. Chawathe, Hector Garcia-Molina, Jennifer Widom: A Toolkit for Constraint Management in Heterogeneous Information Systems. ICDE 1996: 56-65
2. Danilo Montesi, Riccardo Torlone: A Rewriting Technique for the Analysis and the Optimization of Active Databases. ICDT 1995: 238-251
3. Danilo Montesi, Riccardo Torlone: A Transaction Transformation Approach to Active Rule Processing. ICDE 1995: 109-116
4. Danilo Montesi, Riccardo Torlone: A Framework for the Specification of Active Rule Language Semantics. DBPL 1995: 4
5. Paul W. P. J. Grefen, Rolf A. de By, Peter M. G. Apers: Integrity Control in Advanced Database Systems. IEEE Data Eng. Bull. 17(2): 9-13(1994)
6. Sudarshan S. Chawathe, Hector Garcia-Molina, Jennifer Widom: Flexible Constraint Management for Autonomous Distributed Databases. IEEE Data Eng. Bull. 17(2): 23-27(1994)