ACM SIGMOD Anthology ACM SIGMOD dblp.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}
}
BibTeX

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

References

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

Referenced by

  1. Peter P. Chen: Recent Literature on the Entity-Relationship Approach. ER 1979: 3-12
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ER 1979 Proceedings: Copyright © by Int. Conf. on ERA, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:09:30 2009