ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Deriving Integrity Maintaining Triggers from Transition Graphs.

Michael Gertz, Udo W. Lipeck: Deriving Integrity Maintaining Triggers from Transition Graphs. ICDE 1993: 22-29
@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}
}
BibTeX

Abstract

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


ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 6, ICDE 1984-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Proceedings of the Ninth International Conference on Data Engineering, April 19-23, 1993, Vienna, Austria. IEEE Computer Society 1993, ISBN 0-8186-3570-3
Contents BibTeX

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

Referenced by

  1. Klaus-Dieter Schewe: Well-Behaving Rule Systems for Entity-Relationship and Object-Oriented Models. ER 1997: 141-154
  2. Jennifer Widom: The Starburst Active Database Rule System. IEEE Trans. Knowl. Data Eng. 8(4): 583-595(1996)
  3. Michael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman: Querying TSQL2 Databases with Temporal Logic. EDBT 1996: 325-341
  4. Jennifer Widom, Stefano Ceri (Eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann 1996, ISBN 1-55860-304-2
    Contents
  5. Jan Chomicki: Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Trans. Database Syst. 20(2): 149-186(1995)
  6. Jan Chomicki, David Toman: Implementing Temporal Integrity Constraints Using an Active DBMS. IEEE Trans. Knowl. Data Eng. 7(4): 566-582(1995)
  7. A. Prasad Sistla, Ouri Wolfson: Temporal Conditions and Integrity Constraints in Active Database Systems. SIGMOD Conference 1995: 269-280
  8. 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)
  9. Udo W. Lipeck, Michael Gertz, Gunter Saake: Transitional Monitoring of Dynamic Inegrity Constraints. IEEE Data Eng. Bull. 17(2): 38-42(1994)
  10. Jan Chomicki, Damian Niwinski: On the Feasibility of Checking Temporal Integrity Constraints. PODS 1993: 202-213
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ICDE Proceedings: Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:18:07 2009