Specification, Semantics, and Enforcement of Dynamic Database Constraints.

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

@inproceedings{DBLP:conf/vldb/EhrichLG84,
  author    = {Hans-Dieter Ehrich and
               Udo W. Lipeck and
               Martin Gogolla},
  editor    = {Umeshwar Dayal and
               Gunter Schlageter and
               Lim Huat Seng},
  title     = {Specification, Semantics, and Enforcement of Dynamic Database
               Constraints},
  booktitle = {Tenth International Conference on Very Large Data Bases, August
               27-31, 1984, Singapore, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1984},
  isbn      = {0-934613-16-8},
  pages     = {301-308},
  ee        = {db/conf/vldb/EhrichLG84.html},
  crossref  = {DBLP:conf/vldb/84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

In order to specify dynamic constraints, we present a simplified version of temporal logic based on the temporal quantifiers "always" and "sometime" as well as their bounded versions "always...until" and "sometime...before". We show that, in most practical cases, the bounded temporal quantifiers can be expressed by appropriate formulas with unbounded temporal quantifiers. We then use special kinds of temporal formulas as a language to specify dynamic constraints. The problem of enforcing such constraints is then reduced to the problem of enforcing dynamically changing sets of two kinds of static constraints, called universal and existential constraints. While universal constraints can be enforced strictly in principle, violation of existential constraints cannot be detected in each case at the earliest moment. We give a sufficient criterion for detecting violation of existential constraints.

Copyright © 1984 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" 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/vldb7588 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" 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 DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

Printed Edition

Umeshwar Dayal, Gunter Schlageter, Lim Huat Seng (Eds.): Tenth International Conference on Very Large Data Bases, August 27-31, 1984, Singapore, Proceedings. Morgan Kaufmann 1984, ISBN 0-934613-16-8
Contents

References

[An82]: T. Lougenia Anderson: Modeling Time at the Conceptual Level. JCDKB 1982: 273-297
[BADW82]: A. Bolour, T. L. Anderson, L. J. Dekeyser, Harry K. T. Wong: The Role of Time in Information Processing: A Survey. SIGMOD Record 12(3): 27-50(1982)
[BF79]: Peter Buneman, Robert E. Frankel: FQL - A Functional Query Language. SIGMOD Conference 1979: 52-58
[Bu77]: ...
[CB80]: Marco A. Casanova, Philip A. Bernstein: A Formal System for Reasoning about Programs Accessing a Relational Database. ACM Trans. Program. Lang. Syst. 2(3): 386-414(1980)
[CCF82]: José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291
[CD83]: Armin B. Cremers, G. Doman: AIM - An Integrity Monitor for the Database System INGRES. VLDB 1983: 167-170
[CF82]: ...
[CW83]: James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983)
[FDC81]: 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)
[GMS83]: Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler: A Modal System of Algebras for Database Specification and Query/Update Language Support. VLDB 1983: 331-339
[HM75]: Michael Hammer, Dennis McLeod: Semantic Integrity in a Relational Data Base System. VLDB 1975: 25-47
[ISO82]: ...
[Ma83]: David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents
[Ma82]: ...
[MP81]: ...
[Ni82]: Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982)
[NY78]: Jean-Marie Nicolas, Kioumars Yazdanian: Integrity Checking in Deductive Data Bases. Logic and Data Bases 1977: 325-344
[Ri81]: Gernot Richter: Utilization of data access and manipulation in conceptual schema definitons. Inf. Syst. 6(1): 53-71(1981)
[RU71]: ...
[Sh81]: David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981)
[St75]: Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78
[TL82]: ...
[To77]: ...
[We76]: ...
[WSK83]: Wolfgang Weber, Wolffried Stucky, Jakob Karszt: Integrity checking in data base systems. Inf. Syst. 8(2): 125-136(1983)