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

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

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

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
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings (1977-1981): Copyright © by IEEE,
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:44:56 2009