Transitional Monitoring of Dynamic Inegrity Constraints.

@article{DBLP:journals/debu/LipeckGS94,
  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, 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/smod7592 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/aDVD2 or /dvd

Online Edition:

References

[Cho92]

Jan Chomicki: History-less Checking of Dynamic Integrity Constraints. ICDE 1992: 557-564 BibTeX

[Ger94]

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

[GL93]

Michael Gertz, Udo W. Lipeck: Deriving Integrity Maintaining Triggers from Transition Graphs. ICDE 1993: 22-29 BibTeX

[GL94]

...

[HS91]

Klaus Hülsmann, Gunter Saake: Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring. Acta Inf. 28(4): 365-407(1991) BibTeX

[LEG85]

...

[LF88]

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

[Lip86]

Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397 BibTeX

[Lip89]

...

[Lip90]

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

[LS87]

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

[LZ91]

...

[MW84]

Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1): 68-93(1984) BibTeX

[Saa91]

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

[SL87]

...

[SS92]

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)