Stepwise Specification of Dynamic Database Behaviour.

@inproceedings{DBLP:conf/sigmod/Lipeck86,
  author    = {Udo W. Lipeck},
  editor    = {Carlo Zaniolo},
  title     = {Stepwise Specification of Dynamic Database Behaviour},
  booktitle = {Proceedings of the 1986 ACM SIGMOD International Conference on
               Management of Data, Washington, D.C., May 28-30, 1986},
  publisher = {ACM Press},
  year      = {1986},
  pages     = {387-397},
  ee        = {http://doi.acm.org/10.1145/16894.16892, db/conf/sigmod/Lipeck86.html},
  crossref  = {DBLP:conf/sigmod/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1986 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

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

• 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/aDVD1 or /dvd

Printed Edition

Online Edition: ACM Digital Library

References

[CCF82]

José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 BibTeX

[CVF84]

Marco A. Casanova, Paulo A. S. Veloso, Antonio L. Furtado: Formal Data Base Specification - An Eclectic Perspective. PODS 1984: 110-118 BibTeX

[Ce83]

...

[ELG84]

Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308 BibTeX

[Fu84]

Antonio L. Furtado: An Informal Approach to Formal Specifications. SIGMOD Record 14(1): 45-54(1984) BibTeX

[GM79]

Georges Gardarin, Michel A. Melkanoff: Proving Consistency of Database Transactions. VLDB 1979: 291-298 BibTeX

[ISO82]

...

[Ku84]

David Chenho Kung: A Temporal Framework for Database Specification and Verification. VLDB 1984: 91-99 BibTeX

[Ku85a]

...

[Ku85b]

David Chenho Kung: On Verification of Database Temporal Constraints. SIGMOD Conference 1985: 169-179 BibTeX

[LEG85]

...

[LSE86]

...

[MP81]

...

[Ni82]

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

[SFNC84]

Ulrich Schiel, Antonio L. Furtado, Erich J. Neuhold, Marco A. Casanova: Towards multi-level and modular conceptual schema specifications. Inf. Syst. 9(1): 43-57(1984) BibTeX

[TF82]

...

[VCF81]

Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado: Systematic Derivation of Complementary Specifications. VLDB 1981: 409-421 BibTeX

[VF85]

...

Referenced by

1. Lars Bækgaard: Transaction-Based Specification of Database Evolution. ER 1997: 127-140
2. Udo W. Lipeck, Michael Gertz, Gunter Saake: Transitional Monitoring of Dynamic Inegrity Constraints. IEEE Data Eng. Bull. 17(2): 38-42(1994)
3. Ling Liu, Robert Meersman: Activity Model: A Declarative Approach for Capturing Communication Behavior in Object-Oriented Databases. VLDB 1992: 481-493
4. Constantin Arapis: Temporal Specifications of Object Behavior. MFDBS 1991: 308-324
5. John-Jules Ch. Meyer, Hans Weigand, Roel Wieringa: A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989: 347-366
6. Udo W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. ICDT 1988: 322-337
7. Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich: Object-Oriented Specification of Databases: An Algebraic Approach. VLDB 1987: 107-116