Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper).

Dines Bjørner, Hans Henrik Løvengreen: Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper). VLDB 1982: 334-347

@inproceedings{DBLP:conf/vldb/BjornerL82,
  author    = {Dines Bj{\o}rner and
               Hans Henrik L{\o}vengreen},
  title     = {Formalization of Database Systems - and a Formal Definition of
               IMS (Invited Paper)},
  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     = {334-347},
  ee        = {db/conf/vldb/BjornerL82.html},
  crossref  = {DBLP:conf/vldb/82},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Drawing upon an analogy between Programming Language Systems and Database Systems we outline the requirements that architectural specifications of database systems must fulfill, and argue that only formal, mathematical definitions may satisfy these. Then we illustrate home aspects and touch upon some uses of formal definitions of data models and databaee management systems. A formal model of IMS will carry this discussion. Finally we survey some of the existing literature on formal definitions of database systems. The emphasis will be on constructive definitions in the denotationul semantics style of the VCM: Vienna Development Method. The role of formal definitions in international standardiaation efforts is briefly mentioned.

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

[Biller 74a]: Horst Biller, Erich J. Neuhold: Formal View on Schema-Subschema Correspondence. IFIP Congress 1974: 367-371
[Biller 75a]: ...
[Biller 76a]: ...
[Bjørner 78a]: ...
[Bjørner 78b]: ...
[Bjørner 80a]: ...
[Bjørner 80b]: ...
[Bjørner 80c]: Dines Bjørner: Formal Description of Programming Concepts: A Software Engineering Viewpoint. MFCS 1980: 1-21
[Bjørner 80d]: ...
[Bjørner 81a]: ...
[Bjørner 82a]: ...
[Bjørner 82b]: ...
[Bjørner 82c]: ...
[Bjørner 82d]: ...
[Bjørner 83*]: ...
[CODASYL 71a]: ...
[Gordon 79a]: ...
[Hansal 76a]: ...
[Hansen 80a]: ...
[Hardgrave 72a]: ...
[IBM a]: ...
[Jones 77a]: ...
[Jones 79a]: Cliff B. Jones: Constructing a Theory of a Data Structure as an Aid to Program Development. Acta Inf. 11: 119-137(1979)
[Jones 80a]: ...
[Lamersdorf 80ab]: ...
[Lindenau 81a]: ...
[Louis 82a]: Georges Louis, Alain Pirotte: A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus. VLDB 1982: 348-356
[Neuhold 80a]: Erich J. Neuhold, Th. Olnhoff: The Vienna Development Method (VDM) and its Use for the Specification of a Rational Data Base System. IFIP Congress 1980: 3-16
[Neuhold 81a]: ...
[Nilsson 76a]: ...
[Olnhoff 81a]: ...
[Owlett 77a]: ...
[Pirotte 82a]: Alain Pirotte: A Precise Definition of Basic Relational Notions and of the Relational Algebra. SIGMOD Record 13(1): 30-45(1982)
[Plotkin 81a]: ...
[Schwartz 73a]: ...
[X3/ANSI/SPARC 81a]: Michael L. Brodie, Joachim W. Schmidt: Final Report of the ANSI/X3/SPARC DBS-SG Relational Database Task Group. SIGMOD Record 12(4): i-62(1982)