Transformation of Dynamic Integrity Constraints into Transaction Specifications.

@inproceedings{DBLP:conf/icdt/Lipeck88,
  author    = {Udo W. Lipeck},
  editor    = {Marc Gyssens and
               Jan Paredaens and
               Dirk Van Gucht},
  title     = {Transformation of Dynamic Integrity Constraints into Transaction
               Specifications},
  booktitle = {ICDT'88, 2nd International Conference on Database Theory, Bruges,
               Belgium, August 31 - September 2, 1988, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {326},
  year      = {1988},
  isbn      = {3-540-50171-1},
  pages     = {322-337},
  ee        = {db/conf/icdt/Lipeck88.html},
  crossref  = {DBLP:conf/icdt/88},
  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/An2-2 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

Journal Version

References

[ADBT84]

Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): Advances in Data Base Theory, Vol. 2, Based on the Proceedings of the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'études et de recherches de Toulouse, France. Advances in Data Base Theory Plemum Press 1984, ISBN 0-306-41636-0
Contents BibTeX

[BrMS84]

Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt (Eds.): On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, Book resulting from the Intervale Workshop 1982. Topics in Information Systems Springer 1984, ISBN 3-540-90842-0
Contents BibTeX

[CaCF82]

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

[CaF84]

Marco A. Casanova, Antonio L. Furtado: On the Description of Database Transition Constraints Using Temporal Languages. Advances in Data Base Theory 1982: 211-236 BibTeX

[CaS87]

José Carmo, Amílcar Sernadas: A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. Temporal Aspects in Information Systems 1987: 31-46 BibTeX

[CaVF84]

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

[FeL87]

...

[FiS86]

José Luiz Fiadeiro, Amílcar Sernadas: The INFOLOG linear tense propositional logic of events and transactions. Inf. Syst. 11(1): 61-85(1986) BibTeX

[FuSC81]

Antonio L. Furtado, Clesio Saraiva dos Santos, José Mauro Volkmer de Castilho: Dynamic modelling of a simple existence constraint. Inf. Syst. 6(1): 73-80(1981) BibTeX

[GaM79]

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

[HeMN84]

Lawrence J. Henschen, William McCune, Shamim A. Naqvi: Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169 BibTeX

[Ku84]

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

[Li86]

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

[Li87]

...

[LiEG85]

...

[LiS87]

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

[MaW84]

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

[Ni82]

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

[SaL87]

Gunter Saake, Udo W. Lipeck: Foundations of Temporal Integrity Monitoring. Temporal Aspects in Information Systems 1987: 235-249 BibTeX

[Se80]

Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980) BibTeX

[ShS85]

Tim Sheard, David W. Stemple: Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985: 426-435 BibTeX

[StS84]

David W. Stemple, Tim Sheard: Specification and Verification of Abstract Database Types. PODS 1984: 248-257 BibTeX

[TAIS87]

Colette Rolland, François Bodart, Michel Léonard (Eds.): Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987. North-Holland / Elsevier 1988, ISBN 0-444-70373-X
Contents BibTeX

[TFAIS85]

...

[VeCF81]

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

[VeF85]

...

[WaS81]

...

[Wo83]

Pierre Wolper: Temporal Logic Can Be More Expressive. Information and Control 56(1/2): 72-99(1983) BibTeX

Referenced by

1. Klaus Hülsmann, Gunter Saake: Representation of the Historical Information Necessary for Temporal Integrity Monitoring. EDBT 1990: 378-392