A Temporal Framework for Database Specifications.

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

@inproceedings{DBLP:conf/vldb/CastilhoCF82,
  author    = {Jos{\'e} Mauro Volkmer de Castilho and
               Marco A. Casanova and
               Antonio L. Furtado},
  title     = {A Temporal Framework for Database Specifications},
  booktitle = {Eigth International Conference on Very Large Data Bases, September
               8-10, 1982, Mexico City, Mexico, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1982},
  isbn      = {0-934613-14-1},
  pages     = {280-291},
  ee        = {db/conf/vldb/CastilhoCF82.html},
  crossref  = {DBLP:conf/vldb/82},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A database description framework is introduced that accounts for static constraints, that is, constraints on what data can be stored,as well as transition constraints, that is, constraints on how data can be updated. Two levels of specification are considered. At the first level of specification, a database description Dl does not indicate how the database will be updated. Transition constraints are then specified with the help of a variant of Temporal Logic. By contrast, at the second level of specification, a database description D2 includes a set of built-in update operations, which are described by their properties. The advantages accrued from this approach are two-fold: first-level specifications give a stable description of constraints, while second-level specifications suggest a strategy to enforce constraints.

Copyright © 1982 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

Eigth International Conference on Very Large Data Bases, September 8-10, 1982, Mexico City, Mexico, Proceedings. Morgan Kaufmann 1982, ISBN 0-934613-14-1
Contents

References

[AN]: ...
[Br]: Michael L. Brodie: On Modelling Behavioural Semantics of Databases. VLDB 1981: 32-42
[Bu]: ...
[BZ]: ...
[CB]: 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)
[CCF]: ...
[Da]: ...
[Di]: Edsger W. Dijkstra: A Discipline of Programming. Prentice-Hall 1976
[En]: ...
[Es]: ...
[EKW]: Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440
[Ha]: ...
[Ho]: C. A. R. Hoare: An Axiomatic Basis for Computer Programming. Commun. ACM 12(10): 576-580(1969)
[La]: ...
[LM]: Peter C. Lockemann, Heinrich C. Mayr, Wolfgang H. Weil, Wolfgang H. Wohlleber: Data Abstractions for Database Systems. ACM Trans. Database Syst. 4(1): 60-75(1979)
[LZ]: Barbara Liskov, Stephen N. Zilles: Specification Techniques for Data Abstractions. IEEE Trans. Software Eng. 1(1): 7-19(1975)
[Ma]: ...
[MR]: Christine A. Montgomery, Enrique H. Ruspini: The Active Information System: A Data-Driven System for the Analysis of Imprecise Data. VLDB 1981: 376-384
[MP]: ...
[MW]: Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1): 68-93(1984)
[Pa]: ...
[Pn]: Amir Pnueli: The Temporal Logic of Programs. FOCS 1977: 46-57
[RU]: ...
[SF]: ...
[Se]: Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980)
[Sh]: ...
[Su]: ...