Transitional Monitoring of Dynamic Inegrity Constraints.

Udo W. Lipeck, Michael Gertz, Gunter Saake: Transitional Monitoring of Dynamic Inegrity Constraints. IEEE Data Eng. Bull. 17(2): 38-42(1994)
  author    = {Udo W. Lipeck and
               Michael Gertz and
               Gunter Saake},
  title     = {Transitional Monitoring of Dynamic Inegrity Constraints},
  journal   = {IEEE Data Eng. Bull.},
  volume    = {17},
  number    = {2},
  year      = {1994},
  pages     = {38-42},
  ee        = {db/journals/debu/LipeckGS94.html},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition:

Data Engineering Bulletin June 1994: Database Constraint Management (Jennifer Widom, ed.)
( letter+figures , letter-figures , A4+figures , A4-figures , PDF+figures)


Jan Chomicki: History-less Checking of Dynamic Integrity Constraints. ICDE 1992: 557-564 BibTeX
Michael Gertz: Specifying Reactive Integrity Control for Active Databases. RIDE-ADS 1994: 62-70 BibTeX
Michael Gertz, Udo W. Lipeck: Deriving Integrity Maintaining Triggers from Transition Graphs. ICDE 1993: 22-29 BibTeX
Klaus Hülsmann, Gunter Saake: Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring. Acta Inf. 28(4): 365-407(1991) BibTeX
Udo W. Lipeck, Dasu Feng: Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints. WG 1988: 166-179 BibTeX
Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397 BibTeX
Udo W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Theor. Comput. Sci. 76(1): 115-142(1990) BibTeX
Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12(3): 255-269(1987) BibTeX
Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1): 68-93(1984) BibTeX
Gunter Saake: Descriptive Specification of Database Object Behaviour. Data Knowl. Eng. 6: 47-73(1991) BibTeX
Scarlet Schwiderski, Gunter Saake: Monitoring Temporal Permissions using Partially Evaluated Transition Graphs. FMLDO 1992: 196-217 BibTeX

Referenced by

  1. Jan Chomicki: Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Trans. Database Syst. 20(2): 149-186(1995)
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Bulletin of the IEEE Computer Society Technical Committee on Data Engineering: Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:56:12 2009