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


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

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


[Biller 74a]
Horst Biller, Erich J. Neuhold: Formal View on Schema-Subschema Correspondence. IFIP Congress 1974: 367-371 BibTeX
[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 BibTeX
[Bjørner 80d]
[Bjørner 81a]
[Bjørner 82a]
[Bjørner 82b]
[Bjørner 82c]
[Bjørner 82d]
[Bjørner 83*]
[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) BibTeX
[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 BibTeX
[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 BibTeX
[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) BibTeX
[Plotkin 81a]
[Schwartz 73a]
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) BibTeX

Referenced by

  1. David K. Hsiao, Magdi N. Kamel: Heterogeneous Databases: Proliferation, Issues, and Solutions. IEEE Trans. Knowl. Data Eng. 1(1): 45-62(1989)
  2. Winfried Lamersdorf, G. Müller, Joachim W. Schmidt: Language Support for Office Modelling. VLDB 1984: 280-288
  3. Winfried Lamersdorf: Recursive Data Models for Non-Conventional Database Applications. ICDE 1984: 143-150
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:45:17 2009