Deriving Integrity Maintaining Triggers from Transition Graphs.

@inproceedings{DBLP:conf/icde/GertzL93,
  author    = {Michael Gertz and
               Udo W. Lipeck},
  title     = {Deriving Integrity Maintaining Triggers from Transition Graphs},
  booktitle = {Proceedings of the Ninth International Conference on Data Engineering,
               April 19-23, 1993, Vienna, Austria},
  publisher = {IEEE Computer Society},
  year      = {1993},
  isbn      = {0-8186-3570-3},
  pages     = {22-29},
  ee        = {db/conf/icde/GertzL93.html},
  crossref  = {DBLP:conf/icde/93},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1993 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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

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

[2]

Kapali P. Eswaran, Donald D. Chamberlin: Functional Specifications of Subsystem for Database Integrity. VLDB 1975: 48-68 BibTeX

[3]

...

[4]

Laura M. Haas, Walter Chang, Guy M. Lohman, John McPherson, Paul F. Wilms, George Lapis, Bruce G. Lindsay, Hamid Pirahesh, Michael J. Carey, Eugene J. Shekita: Starburst Mid-Flight: As the Dust Clears. IEEE Trans. Knowl. Data Eng. 2(1): 143-160(1990) BibTeX

[5]

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

[6]

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

[7]

Udo W. Lipeck, Dasu Feng: Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints. WG 1988: 166-179 BibTeX

[8]

...

[9]

Udo W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Theor. Comput. Sci. 76(1): 115-142(1990) BibTeX

[10]

...

[11]

Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12(3): 255-269(1987) BibTeX

[12]

Udo W. Lipeck, Heren Zhou: Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals. FMLDO 1991: 115-130 BibTeX

[13]

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

[14]

Gunter Saake: Descriptive Specification of Database Object Behaviour. Data Knowl. Eng. 6: 47-73(1991) BibTeX

[15]

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

[16]

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

[17]

Susan Darling Urban, Anton P. Karadimce, Ravi B. Nannapaneni: The Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database. ICDE 1992: 565-572 BibTeX