Progress Toward Automating The Development of Database System Software

Recent advances in physical database modeling suggest that it may be possible to develop significant portions of a DBMS’s software, specifically the physical database component, automatically from a small set of specifications. These advances are based on the Unifying Model and the Transformation Model, both of which are reviewed in this paper. The Unifying Model deals with file structures and record linking mechanisms; the Transformation Model deals with conceptual-to-internal mappings. We illustrate their concepts with models of the storage architectures of two very different commercial DBMSs: INGRES and RAPID. We then explain how the Unifying Model/Transformation Model framework can provide a basis for automating the development of physical database software.

[1]  Jeffrey A. Hoffer.  An integer programming formulation of computer data base design problems , 1976, Inf. Sci..

[2]  Dennis G. Severance,et al.  Frame memory: a storage architecture to support rapid design and implementation of efficient databases , 1981, TODS.

[3]  Theo Härder.  Implementing a generalized access path structure for a relational database system , 1978, TODS.

[4]  P. Bruce Berra,et al.  Minimum cost selection of secondary indexes for formatted files , 1977, TODS.

[5]  Guy M. Lohman,et al.  Differential files: their application to the maintenance of large databases , 1976, TODS.

[6]  Don S. Batory.  B+ trees and indexed sequential files: a performance comparison , 1981, SIGMOD '81.

[7]  Michael Stonebraker,et al.  Document processing in a relational database system , 1983, TOIS.

[8]  Frank Harary,et al.  A formal system for information retrieval from files , 1970, Commun. ACM.

[9]  Tetsuo Mizoguchi,et al.  An Analysis of Storage Utilization Factor in Block Split Data Structuring Scheme , 1978, VLDB.

[10]  Don S. Batory,et al.  Index Coding: A Compression Technique for Large Statistical Databases , 1983, SSDBM.

[11]  Michael Stonebraker,et al.  Application of Abstract Data Types and Abstract Indices to CAD Data Bases , 1986, Engineering Design Applications.

[12]  Don S. Batory,et al.  Modeling the Physical Structures of Commercial Database Systems , 1983 .

[13]  Lawrence A. Rowe,et al.  Data abstraction, views and updates in RIGEL , 1979, SIGMOD '79.

[14]  Dennis Gordon Severance.  Some generalized modeling structures for use in design of file organizations. , 1972 .

[15]  Mario Schkolnick,et al.  The Optimal Selection of Secondary Indices for Files , 1975, Inf. Syst..

[16]  John L. McCarthy,et al.  Metadata Management for Large Statistical Databases , 1982, VLDB.

[17]  Michael Hammer,et al.  Data abstractions for data bases , 1976, Conference on Data: Abstraction, Definition and Structure.

[18]  Dennis G. Severance,et al.  A practitioner's guide to addressing algorithms , 1976, CACM.

[19]  P.A. Alsberg,et al.  Space and time savings through large data base compression and dynamic restructuring , 1975, Proceedings of the IEEE.

[20]  Calvin C. Gotlieb,et al.  A unifying model of physical databases , 1982, TODS.

[21]  Daniel P. Heyman,et al.  Mathematical models of database degradation , 1982, TODS.

[22]  M. J. Turner,et al.  A DBMS For Large Statistical Databases , 1979, Fifth International Conference on Very Large Data Bases, 1979..

[23]  D. C. Tsichritzis,et al.  Data base management systems , 1976 .

[24]  S. Bing Yao.  An attribute based model for database access cost analysis , 1977, TODS.

[25]  Michael Stonebraker,et al.  The design and implementation of INGRES , 1976, TODS.

[26]  Michael E. Senko,et al.  Data Structures and Accessing in Data-Base Systems. I: Evolution of Information Systems , 1973, IBM Syst. J..

[27]  David J. DeWitt,et al.  An object-oriented approach to database system implementation , 1981, TODS.

[28]  Abraham Silberschatz,et al.  Consistency in Hierarchical Database Systems , 1980, JACM.

[29]  Don S. Batory.  Conceptual-to-internal mappings in commercial database systems , 1984, PODS '84.

[30]  Don S. Batory.  Optimal file designs and reorganization points , 1982, TODS.

[31]  Roger L. Haskin,et al.  On extending the functions of a relational database system , 1982, SIGMOD '82.

[32]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[33]  Don S. Batory,et al.  On searching transposed files , 1978, ACM Trans. Database Syst..

[34]  Salvatore T. March,et al.  Techniques for Structuring Database Records , 1983, CSUR.

[35]  Michael Stonebraker,et al.  Storage Structures and Access Methods in the Relational Data Base Management System INGRES , 1975, ACM Pacific.

[36]  Ben Shneiderman,et al.  Batched searching of sequential and tree structured files , 1976, TODS.

[37]  B. Niamir,et al.  ATTRIBUTE PARTITIONING IN A SELF-ADAPTIVE RELATIONAL DATA BASE SYSTEM , 1978 .