dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

An Implementation Methodology for Semantic Data Base Models.

Robert Balzer: An Implementation Methodology for Semantic Data Base Models. ER 1979: 433-444
@inproceedings{DBLP:conf/er/Balzer79,
  author    = {Robert Balzer},
  editor    = {Peter P. Chen},
  title     = {An Implementation Methodology for Semantic Data Base Models},
  booktitle = {Entity-Relationship Approach to Systems Analysis and Design.
                Proc. 1st International Conference on the Entity-Relationship
               Approach},
  publisher = {North-Holland},
  year      = {1979},
  isbn      = {0-444-85487-8},
  pages     = {433-444},
  ee        = {db/conf/er/Balzer79.html},
  crossref  = {DBLP:conf/er/79},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

The Data Base community faces the same software crisis as the rest of the programming community as the gap between conceptual semantic data base models, such as Entity-Relationship models, and the underlying physical representation of these data base models rapidly widens. This trend is expected to continue as the semantic models become increasingly abstract and as more sophisticated concrete data structures and search techniques are utilized.

Among the various approaches to resolving the software problem, one seems particularly relevant to the data base community. Its relevance arises from the fact that the language with which it deals includes semantic data models. This particular approach is based on a more general methodology for systematically transforming conceptual specifications into efficient implementations that are guaranteed to be valid and for easily maintaining these implementations.

This paper describes this general implementation methodology, its specific application to a specification language which spans semantic data models, an example of of the implementation of a specification in this language, and the extension of the approach required for data base applications.


ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 1, ER 1979-1998" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

References

[ARS79]
Jacques J. Arsac: Syntactic Source to Source Transforms and Program Manipulation. Commun. ACM 22(1): 43-54(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BAL79a]
...
[BAL79b]
...
[BAR77]
...
[BAU76]
Friedrich L. Bauer: Programming as an Evolutionary Process. ICSE 1976: 223-234 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BOY77]
...
[BUR77]
Rod M. Burstall, John Darlington: A Transformation System for Developing Recursive Programs. J. ACM 24(1): 44-67(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CHE78]
...
[FEA78]
...
[GOL79]
Neil M. Goldman, David S. Wile: A Relational Data Base Foundation for Process Specification. ER 1979: 413-432 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HUE78]
Gérard P. Huet, Bernard Lang: Proving and Applying Program Transformations Expressed with Second-Order Patterns. Acta Inf. 11: 31-55(1978) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SCH78]
...
[STA76]
...

Referenced by

  1. Peter P. Chen: Recent Literature on the Entity-Relationship Approach. ER 1979: 3-12

Last update Thu May 24 04:17:02 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page