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}
}
BibTeX

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 ... BibTeX

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 BibTeX

References

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

Referenced by

  1. Lars Bækgaard: Transaction-Based Specification of Database Evolution. ER 1997: 127-140
  2. Jan Chomicki: Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Trans. Database Syst. 20(2): 149-186(1995)
  3. Nicole Bidoit, Sandra de Amo: A First Step Towards Implementing Dynamic Algebraic Dependencies. ICDT 1995: 308-321
  4. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
  5. Jan Chomicki, Damian Niwinski: On the Feasibility of Checking Temporal Integrity Constraints. PODS 1993: 202-213
  6. Jan Chomicki: Real-Time Integrity Constraints. PODS 1992: 274-282
  7. Jan Chomicki: History-less Checking of Dynamic Integrity Constraints. ICDE 1992: 557-564
  8. Jianwen Su: Dynamic Constraints and Object Migration. VLDB 1991: 233-242
  9. Uwe Hohenstein, Klaus Hülsmann: A Language for Specifying Static and Dynamic Integrity Constraints. ER 1991: 389-416
  10. Guozhu Dong, Jianwen Su: Object Behaviors and Scripts. DBPL 1991: 383-398
  11. Joan Peckham, Fred J. Maryanski: Semantic Data Models. ACM Comput. Surv. 20(3): 153-189(1988)
  12. Xiaolei Qian, Richard J. Waldinger: A Transaction Logic for Database Specification. SIGMOD Conference 1988: 243-250
  13. Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250
  14. Udo W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. ICDT 1988: 322-337
  15. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18
  16. Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich: Object-Oriented Specification of Databases: An Algebraic Approach. VLDB 1987: 107-116
  17. T. Abbod, K. Brown, H. Noble: Providing Time-Related Constraints for Conventional Database Systems. VLDB 1987: 167-175
  18. Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu: Axiomatization and Simplification Rules for Relational Transactions. PODS 1987: 254-259
  19. Serge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268
  20. Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397
  21. Serge Abiteboul, Victor Vianu: Deciding Properties of Transactional Schemas. PODS 1986: 235-239
  22. Laurence Cholvy: Update Semantics under the Domain Closure Assumption. ICDT 1986: 123-140
  23. David Chenho Kung: On Verification of Database Temporal Constraints. SIGMOD Conference 1985: 169-179
  24. Federico Barbic, Barbara Pernici: Time Modeling in Office Information Systems. SIGMOD Conference 1985: 51-62
  25. Serge Abiteboul, Victor Vianu: Transactions and Integrity Constraints. PODS 1985: 193-204
  26. David Chenho Kung: A Temporal Framework for Database Specification and Verification. VLDB 1984: 91-99
  27. Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308
  28. Serge Abiteboul, Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984: 46-56
  29. Victor Vianu: Dynamic Constraints and Database Evolution. PODS 1983: 389-399
  30. Hirotaka Sakai: A Method for Entity-Relationship Behavior Modeling. ER 1983: 111-129
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB 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:45:16 2009