ACM SIGMOD Anthology VLDB dblp.uni-trier.de

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

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

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

References

[AN]
...
[Br]
Michael L. Brodie: On Modelling Behavioural Semantics of Databases. VLDB 1981: 32-42 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CCF]
...
[Da]
...
[Di]
Edsger W. Dijkstra: A Discipline of Programming. Prentice-Hall 1976
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[En]
...
[Es]
...
[EKW]
Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ha]
...
[Ho]
C. A. R. Hoare: An Axiomatic Basis for Computer Programming. Commun. ACM 12(10): 576-580(1969) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LZ]
Barbara Liskov, Stephen N. Zilles: Specification Techniques for Data Abstractions. IEEE Trans. Software Eng. 1(1): 7-19(1975) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MP]
...
[MW]
Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1): 68-93(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Pa]
...
[Pn]
Amir Pnueli: The Temporal Logic of Programs. FOCS 1977: 46-57 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[RU]
...
[SF]
...
[Se]
Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sh]
...
[Su]
...

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