On the Algebraic Specification of Databases.

@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

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

• 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

• 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

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 BibTeX

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

[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) BibTeX

[CODD 70]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

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

[EHRIG et al. 78]

Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440 BibTeX

[FAGIN 82]

...

[GALLAIRE 81]

Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259 BibTeX

[HAMMER 76]

...

[HAMMER, BERKOWITZ 80]

Michael Hammer, B. Berkowitz: DIAL: A Programming Language for Data Intensive Applications. SIGMOD Conference 1980: 75-92 BibTeX

[HAMMER, McLEOD 75]

Michael Hammer, Dennis McLeod: Semantic Integrity in a Relational Data Base System. VLDB 1975: 25-47 BibTeX

[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) BibTeX

[MAKOWSKY 81]

Johann A. Makowsky: Characterizing Data Base Dependencies. ICALP 1981: 86-97 BibTeX

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

[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) BibTeX

[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) BibTeX

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

[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) BibTeX

Referenced by

1. Alexandre V. Zamulin: From a Database Programming Language to a Database Specification Language (Invited Paper). ADBIS 1994: 122-131
2. Luiz Tucherman, Antonio L. Furtado, Marco A. Casanova: A Tool for Modular Database Design. VLDB 1985: 436-447
3. Marco A. Casanova, Paulo A. S. Veloso, Antonio L. Furtado: Formal Data Base Specification - An Eclectic Perspective. PODS 1984: 110-118
4. Luiz Tucherman, Antonio L. Furtado, Marco A. Casanova: A Pragmatic Approach to Structured Database Design. VLDB 1983: 219-231
5. 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