ACM SIGMOD Anthology VLDB dblp.uni-trier.de

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

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

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[Biller 74a]
Horst Biller, Erich J. Neuhold: Formal View on Schema-Subschema Correspondence. IFIP Congress 1974: 367-371 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:21:57 2010 by Michael Ley (ley@uni-trier.de)