Concepts for a database system compiler

We propose a very simple formalism based on parameterized types and a rule-based algebra to explain the storage structures and algorithms of database management systems. Implementations of DBMSs are expressed as equations If all functions referenced in the equations have been implemented the software for a DBMS can be synthesized in minutes at little cost, in contrast to current methods where man-years of effort and hundreds of thousands of dollars are required. Our research aims to develop a DBMS counterpart to today's compiler-complier technologies

[1]  Craig Schaffert,et al.  Abstraction mechanisms in CLU , 1977, Commun. ACM.

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

[3]  Irving L. Traiger,et al.  System R: relational approach to database management , 1976, TODS.

[4]  Philip A. Bernstein,et al.  Using Semi-Joins to Solve Relational Queries , 1981, JACM.

[5]  Carlo Zaniolo,et al.  The database language GEM , 1983, SIGMOD '83.

[6]  Clement T. Yu,et al.  Optimization of Distributed Tree Queries , 1984, J. Comput. Syst. Sci..

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

[8]  Don S. Batory,et al.  Modeling the storage architectures of commercial database systems , 1985, TODS.

[9]  Johann-Christoph Freytag,et al.  A rule-based view of query optimization , 1987, SIGMOD '87.

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

[11]  Arie Shoshani,et al.  Statistical and Scientific Database Issues , 1985, IEEE Transactions on Software Engineering.

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

[13]  David J. DeWitt,et al.  The EXODUS optimizer generator , 1987, SIGMOD '87.

[14]  Patricia G. Selinger,et al.  Access path selection in a relational database management system , 1979, SIGMOD '79.

[15]  Doron Rotem,et al.  Simple Random Sampling from Relational Databases , 1986, VLDB.

[16]  Don S. Batory,et al.  On the reusability of query optimization algorithms , 1989, Inf. Sci..

[17]  Don S. Batory,et al.  GENESIS: An Extensible Database Management System , 1988, IEEE Trans. Software Eng..

[18]  Don S. Batory.  A Molecular Database Systems Technology , 1987 .

[19]  Eugene Wong,et al.  Decomposition—a strategy for query processing , 1976, TODS.

[20]  Patrick Valduriez,et al.  Join indices , 1987, TODS.

[21]  Clement T. Yu,et al.  Distributed query processing , 1984, CSUR.

[22]  Don S. Batory,et al.  Implementation concepts for an extensible data model and data language , 1988, TODS.

[23]  Eugene Wong,et al.  Query processing in a system for distributed databases (SDD-1) , 1981, TODS.

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

[25]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1977, CACM.