ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Toward a Design Methodology for DBMS: A Software Engineering Approach.

Raymond T. Yeh, Jerry W. Baker: Toward a Design Methodology for DBMS: A Software Engineering Approach. VLDB 1977: 16-27
@inproceedings{DBLP:conf/vldb/YehB77,
  author    = {Raymond T. Yeh and
               Jerry W. Baker},
  title     = {Toward a Design Methodology for DBMS: A Software Engineering
               Approach},
  booktitle = {Proceedings of the Third International Conference on Very Large
               Data Bases, October 6-8, 1977, Tokyo, Japan},
  publisher = {IEEE Computer Society},
  year      = {1977},
  pages     = {16-27},
  ee        = {db/conf/vldb/YehB77.html},
  crossref  = {DBLP:conf/vldb/77},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A design methodology for DBMS is presented. The methodology consists of three interacting models: a model for the system structure, a hierarchical performance evaluation model, and a model for design structure documentation, which are developed concurrently through a top-down design process. Thus, using this methodology, the design is evaluated and its consistency checked during each phase of the design process. It is shown that systems designed using this methodology are reasonably independent of their environments, reliable, and can be easily modified. A modest example is used to illustrate the methodology.

Copyright © 1977 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.


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

Proceedings of the Third International Conference on Very Large Data Bases, October 6-8, 1977, Tokyo, Japan. IEEE Computer Society 1977
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[1]
Morton M. Astrahan, Mike W. Blasgen, Donald D. Chamberlin, Kapali P. Eswaran, Jim Gray, Patricia P. Griffiths, W. Frank King III, Raymond A. Lorie, Paul R. McJones, James W. Mehl, Gianfranco R. Putzolu, Irving L. Traiger, Bradford W. Wade, Vera Watson: System R: Relational Approach to Database Management. ACM Trans. Database Syst. 1(2): 97-137(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
...
[3]
...
[4]
Rudolf Bayer, Edward M. McCreight: Organization and Maintenance of Large Ordered Indices. Acta Inf. 1: 173-189(1972) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
Frank DeRemer, Hans H. Kron: Programming-in-the-Large Versus Programming-in-the-Small. IEEE Trans. Software Eng. 2(2): 80-86(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
John B. Goodenough: Exception Handling: Issues and a Proposed Notation. Commun. ACM 18(12): 683-696(1975) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
C. A. R. Hoare: An Axiomatic Basis for Computer Programming (Reprint). Commun. ACM 26(1): 53-56(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
Klaus-Dieter Krägeloh, Peter C. Lockemann: Hierarchies of Data Base Languages: An Example. Inf. Syst. 1(3): 79-90(1975) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
William M. McKeeman: On Preventing Programming Languages from Interfering with Programming. IEEE Trans. Software Eng. 1(1): 19-26(1975) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
...
[13]
David Lorge Parnas: A Technique for Software Module Specification with Examples. Commun. ACM 15(5): 330-336(1972) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
David Lorge Parnas: On the Criteria To Be Used in Decomposing Systems into Modules. Commun. ACM 15(12): 1053-1058(1972) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
David Lorge Parnas: On a 'Buzzword': Hierarchical Structure. IFIP Congress 1974: 336-339 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
Lawrence Robinson, Karl N. Levitt: Proof Techniques for Hierarchically Structured Programs. Commun. ACM 20(4): 271-283(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
...
[18]
...
[19]
...
[20]
Ben Wegbreit: Verifying Program Performance. J. ACM 23(4): 691-699(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
...

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