Declarative Specification of Constraint Maintenance.

@inproceedings{DBLP:conf/er/BaralisCP94,
  author    = {Elena Baralis and
               Stefano Ceri and
               Stefano Paraboschi},
  editor    = {Pericles Loucopoulos},
  title     = {Declarative Specification of Constraint Maintenance},
  booktitle = {Entity-Relationship Approach - ER'94, Business Modelling and
               Re-Engineering, 13th International Conference on the Entity-Relationship
               Approach, Manchester, U.K., December 13-16, 1994, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {881},
  year      = {1994},
  isbn      = {3-540-58786-1},
  pages     = {205-222},
  ee        = {db/conf/er/BaralisCP94.html},
  crossref  = {DBLP:conf/er/94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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/An2-1 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

References

[AWH92]

Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein: Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference 1992: 59-68 BibTeX

[BCW93]

Elena Baralis, Stefano Ceri, Jennifer Widom: Better Termination Analysis for Active Databases. Rules in Database Systems 1993: 163-179 BibTeX

[BW93]

...

[BW94]

Elena Baralis, Jennifer Widom: An Algebraic Approach to Rule Analysis in Expert Database Systems. VLDB 1994: 475-486 BibTeX

[CFPT92]

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

[CGT90]

Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
BibTeX

[CO92]

Stephen J. Cannan, Gerard A. M. Otten: SQL - The Standard Handbook. McGraw-Hill Book Company 1993
BibTeX

[COD78]

...

[CW90]

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

[Etz94]

Opher Etzion: An Alternative Paradigm for Active Databases. RIDE-ADS 1994: 39-45 BibTeX

[EW79]

Ramez Elmasri, Gio Wiederhold: Data Model Integration Using the Structural Model. SIGMOD Conference 1979: 191-202 BibTeX

[FP93]

Piero Fraternali, Stefano Paraboschi: A Review of Repairing Techniques for Integrity Maintenance. Rules in Database Systems 1993: 333-346 BibTeX

[Ger94]

Michael Gertz: Specifying Reactive Integrity Control for Active Databases. RIDE-ADS 1994: 62-70 BibTeX

[HK87]

Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX

[KU91]

Anton P. Karadimce, Susan Darling Urban: Diagnosing Anomalous Rule Behavior in Databases with Integrity Maintenance Production Rules. FMLDO 1991: 77-102 BibTeX

[ML91]

Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991) BibTeX

[Par94]

...

[PM88]

Joan Peckham, Fred J. Maryanski: Semantic Data Models. ACM Comput. Surv. 20(3): 153-189(1988) BibTeX

[STSW93]

Klaus-Dieter Schewe, Bernhard Thalheim, Joachim W. Schmidt, Ingrid Wetzel: Integrity Enforcement in Object-Oriented Databases. FMLDO 1992: 174-195 BibTeX

[UD90]

Susan Darling Urban, Lois M. L. Delcambre: Constraint Analysis: A Design Process for Specifying Operations on Objects. IEEE Trans. Knowl. Data Eng. 2(4): 391-400(1990) BibTeX

[Wüt93]

Beat Wüthrich: On Updates and Inconsistency Repairing in Knowledge Bases. ICDE 1993: 608-615 BibTeX

Referenced by

1. Elena Baralis, Stefano Ceri, Stefano Paraboschi: Compile-Time and Runtime Analysis of Active Behaviors. IEEE Trans. Knowl. Data Eng. 10(3): 353-370(1998)
2. Jennifer Widom, Stefano Ceri (Eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann 1996, ISBN 1-55860-304-2
   Contents