ACM SIGMOD Anthology VLDB dblp.uni-trier.de

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

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[An82]
T. Lougenia Anderson: Modeling Time at the Conceptual Level. JCDKB 1982: 273-297 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BF79]
Peter Buneman, Robert E. Frankel: FQL - A Functional Query Language. SIGMOD Conference 1979: 52-58 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CCF82]
José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CD83]
Armin B. Cremers, G. Doman: AIM - An Integrity Monitor for the Database System INGRES. VLDB 1983: 167-170 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CF82]
...
[CW83]
James Clifford, David Scott Warren: Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HM75]
Michael Hammer, Dennis McLeod: Semantic Integrity in a Relational Data Base System. VLDB 1975: 25-47 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[ISO82]
...
[Ma83]
David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ma82]
...
[MP81]
...
[Ni82]
Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[NY78]
Jean-Marie Nicolas, Kioumars Yazdanian: Integrity Checking in Deductive Data Bases. Logic and Data Bases 1977: 325-344 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ri81]
Gernot Richter: Utilization of data access and manipulation in conceptual schema definitons. Inf. Syst. 6(1): 53-71(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[RU71]
...
[Sh81]
David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[St75]
Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[TL82]
...
[To77]
...
[We76]
...
[WSK83]
Wolfgang Weber, Wolffried Stucky, Jakob Karszt: Integrity checking in data base systems. Inf. Syst. 8(2): 125-136(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:21:57 2010 by Michael Ley (ley@uni-trier.de)