On the Algebraic Specification of Databases.

Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385

@inproceedings{DBLP:conf/vldb/DoschMW82,
  author    = {Walter Dosch and
               Gianfranco Mascari and
               Martin Wirsing},
  title     = {On the Algebraic Specification of Databases},
  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     = {370-385},
  ee        = {db/conf/vldb/DoschMW82.html},
  crossref  = {DBLP:conf/vldb/82},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

For the conceptual level of database schemes a structured algebraic specification is presented. Within a uniform framework it comprises database abstractions, static and dynamic constraints, and a functional programing language for queries and updates. The specification is analysed w.r.t. syntactic and semantic aspects. Then the behaviour and the implementation of database specifications are discussed. Furthermore, algebraic conditions are presented that guarantee a sound specification according to criteria evolved from database theory.

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

[ALBANO et al.81]: ...
[AUSIELLO et al.80]: Giorgio Ausiello, Carlo Batini, Marina Moscarini: Conceptual Relations between Databases Transformed under Join and Projection. MFCS 1980: 123-136
[BAUER, WÖSSNER 82]: ...
[BAUER et a. 81]: ...
[BJØRNER 80]: ...
[BRODIE 81]: ...
[BRODIE, ZILLES 81]: ...
[BROY, WIRSING 80]: ...
[BUNEMAN, FRANKEL 80]: Peter Buneman, Robert E. Frankel: FQL - A Functional Query Language. SIGMOD Conference 1979: 52-58
[BURSTALL, GOGUEN 80]: ...
[CASANOVA et al. 81]: ...
[CHANDRA, HAREL 80]: Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980)
[CODD 70]: E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970)
[EHRIG, FEY 81]: Hartmut Ehrig, Werner Fey: Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. GI Jahrestagung 1981: 255-269
[EHRIG et al. 78]: Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440
[FAGIN 82]: ...
[GALLAIRE 81]: Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259
[HAMMER 76]: ...
[HAMMER, BERKOWITZ 80]: Michael Hammer, B. Berkowitz: DIAL: A Programming Language for Data Intensive Applications. SIGMOD Conference 1980: 75-92
[HAMMER, McLEOD 75]: Michael Hammer, Dennis McLeod: Semantic Integrity in a Relational Data Base System. VLDB 1975: 25-47
[HUPBACH 81]: ...
[LOCKEMANN et al. 79]: 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)
[MAKOWSKY 81]: Johann A. Makowsky: Characterizing Data Base Dependencies. ICALP 1981: 86-97
[NEUHOLD, OLNHOFF 81]: ...
[PAOLINI 81]: ...
[dos SANTOS et al. 80]: Clesio Saraiva dos Santos, Erich J. Neuhold, Antonio L. Furtado: A Data Type Approach to the Entity-Relationship Approach. ER 1979: 103-119
[SCHIEL et al. 82]: Ulrich Schiel, Antonio L. Furtado, Erich J. Neuhold, Marco A. Casanova: Towards multi-level and modular conceptual schema specifications. Inf. Syst. 9(1): 43-57(1984)
[SCHMIDT 80]: ...
[SMITH, SMITH 77]: John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977)
[VELOSO et al. 81]: Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado: Systematic Derivation of Complementary Specifications. VLDB 1981: 409-421
[WIRSING 82]: ...
[WIRSING et al. 80]: Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch: On Hierarchies of Abstract Data Types. Acta Inf. 20: 1-33(1983)