dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

A Modal System of Algebras for Database Specification and Query/Update Language Support.

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
@inproceedings{DBLP:conf/vldb/GolshaniMS83,
  author    = {Forouzan Golshani and
               T. S. E. Maibaum and
               M. R. Sadler},
  editor    = {Mario Schkolnick and
               Costantino Thanos},
  title     = {A Modal System of Algebras for Database Specification and Query/Update
               Language Support},
  booktitle = {9th International Conference on Very Large Data Bases, October
               31 - November 2, 1983, Florence, Italy, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1983},
  isbn      = {0-934613-15-X},
  pages     = {331-339},
  ee        = {db/conf/vldb/GolshaniMS83.html},
  crossref  = {DBLP:conf/vldb/83},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Rather than formalizing general properties of database systems and defining abstract languages for databases, in this paper we provide a formal system for reasoning about specific properties of eaoh application and the specification of query/update functions which are particular to that application. We regard a database as a dynamic object and use a system of modal logic similar to Hoare-style program logic for its specification. The possible worlds in our modal system are the (correct) database instances. Each database instanoe is defined as a many-sorted algebra where the signature of the algebra constitutes the basis for the database schema. Concepts related to database instances such aa queries and (static) integrity constraints are simply well-formed expressions on the signature. Similarly , at the dynamic level, we define notions such as transition constraints and update operations as expressions or the modal system. The paper includes a section on the areas where further work has been done.

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

Mario Schkolnick, Costantino Thanos (Eds.): 9th International Conference on Very Large Data Bases, October 31 - November 2, 1983, Florence, Italy, Proceedings. Morgan Kaufmann 1983, ISBN 0-934613-15-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[ADJ 78]
...
[CaBe 80]
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
[CaFu 82]
...
[DaBe 82]
Umeshwar Dayal, Philip A. Bernstein: On the Correct Translation of Update Operations on Relational Views. ACM Trans. Database Syst. 7(3): 381-416(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[DMS 82]
Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gold 82]
...
[Gol 82]
...
[Gol 82a]
Forouzan Golshani: Growing certainty with null values. Inf. Syst. 10(3): 289-297(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gol 83]
...
[HuCr 68]
...
[KMM 80]
...
[Mai 77]
...
[Mai 81]
T. S. E. Maibaum: Database Instances, Abstract Data Types and Database Specification. Comput. J. 28(2): 154-161(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MSF 80]
...
[Man 81]
...
[MaPn 79]
Zohar Manna, Amir Pnueli: The Modal Logic of Programs. ICALP 1979: 385-409 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Nic 82]
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
[Nic 83]
...
[NiYa 78]
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
[Sch 71]
...
[SeFu 78]
...
[Tod 77]
...
[Web 76]
...
[Wol 81]
Pierre Wolper: Temporal Logic Can Be More Expressive. FOCS 1981: 340-348 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Referenced by

  1. Alexandre V. Zamulin: From a Database Programming Language to a Database Specification Language (Invited Paper). ADBIS 1994: 122-131
  2. Uwe Hohenstein, Klaus Hülsmann: A Language for Specifying Static and Dynamic Integrity Constraints. ER 1991: 389-416
  3. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18
  4. David Chenho Kung: On Verification of Database Temporal Constraints. SIGMOD Conference 1985: 169-179
  5. Federico Barbic, Barbara Pernici: Time Modeling in Office Information Systems. SIGMOD Conference 1985: 51-62
  6. David Chenho Kung: A Temporal Framework for Database Specification and Verification. VLDB 1984: 91-99
  7. Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla: Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB 1984: 301-308

Last update Fri Sep 14 17:38:05 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page