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
  author    = {Raymond T. Yeh and
               Jerry W. Baker},
  title     = {Toward a Design Methodology for DBMS: A Software Engineering
  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,}


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

Printed Edition

Proceedings of the Third International Conference on Very Large Data Bases, October 6-8, 1977, Tokyo, Japan. IEEE Computer Society 1977
Contents BibTeX


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) BibTeX
Rudolf Bayer, Edward M. McCreight: Organization and Maintenance of Large Ordered Indices. Acta Inf. 1: 173-189(1972) BibTeX
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX
Frank DeRemer, Hans H. Kron: Programming-in-the-Large Versus Programming-in-the-Small. IEEE Trans. Software Eng. 2(2): 80-86(1976) BibTeX
John B. Goodenough: Exception Handling: Issues and a Proposed Notation. Commun. ACM 18(12): 683-696(1975) BibTeX
C. A. R. Hoare: An Axiomatic Basis for Computer Programming (Reprint). Commun. ACM 26(1): 53-56(1983) BibTeX
Klaus-Dieter Krägeloh, Peter C. Lockemann: Hierarchies of Data Base Languages: An Example. Inf. Syst. 1(3): 79-90(1975) BibTeX
William M. McKeeman: On Preventing Programming Languages from Interfering with Programming. IEEE Trans. Software Eng. 1(1): 19-26(1975) BibTeX
David Lorge Parnas: A Technique for Software Module Specification with Examples. Commun. ACM 15(5): 330-336(1972) BibTeX
David Lorge Parnas: On the Criteria To Be Used in Decomposing Systems into Modules. Commun. ACM 15(12): 1053-1058(1972) BibTeX
David Lorge Parnas: On a 'Buzzword': Hierarchical Structure. IFIP Congress 1974: 336-339 BibTeX
Lawrence Robinson, Karl N. Levitt: Proof Techniques for Hierarchically Structured Programs. Commun. ACM 20(4): 271-283(1977) BibTeX
Ben Wegbreit: Verifying Program Performance. J. ACM 23(4): 691-699(1976) BibTeX

Referenced by

  1. Ignacio R. Casas, Kenneth C. Sevcik: A Buffer Management Model For Use In Predicting Overall Database System Performance. ICDE 1989: 463-469
  2. David W. Stemple, Tim Sheard, Ralph E. Bunker: Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597
  3. David W. Stemple, Tim Sheard: Specification and Verification of Abstract Database Types. PODS 1984: 248-257
  4. Susan Darling Urban, Joseph E. Urban, Wayne D. Dominick: Utilizing an Executable Specification Language for an Information System. ICDE 1984: 348-355
  5. Salvatore Orlando, Pasquale Rullo, Witold Staniszkis: Transaction Workload Evaluation in the CODASYL Database Environment. ICDE 1984: 562-569
  6. A. James Baroody Jr., David J. DeWitt: An Object-Oriented Approach to Database System Implementation. ACM Trans. Database Syst. 6(4): 576-601(1981)
  7. Kenneth C. Sevcik: Data Base System Performance Prediction Using an Analytical Model (Invited Paper). VLDB 1981: 182-198
  8. Herbert Weber: A Software Engineering View of Data Base Systems. VLDB 1978: 36-51
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings (1977-1981): Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:44:56 2009