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

Transformation of Dynamic Integrity Constraints into Transaction Specifications.

Udo W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. ICDT 1988: 322-337
@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}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Journal Version

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

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
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
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:19:01 2009