Optimal computation of total projections with unions of simple chase join expressions

The representative instance has been proposed as a query answering device in systems using the Universal Relation Interface. One approach is to use the total projections of the representative instance to generate the answer for a query. Associated with this approach is the problem of how to generate the total projections of the representative instance efficiently. We propose a generalization of extension joins, called chase join expressions, as a means to compute the total projections when functional dependencies are given as constraints. In particular, we identify an important subclass of chase join expressions called simple chase join expressions and show that the total projections with respect to a set of functional dependencies can be computed by unions of simple chase join expressions when an independent scheme is assumed. We also find a simple and efficient algorithm that minimizes the number of join operations in a union of simple chase join expressions.

[1]  David Maier,et al.  The revenge of the JD , 1983, PODS '83.

[2]  David Maier,et al.  Testing implications of data dependencies , 1979, SIGMOD '79.

[3]  Sylvia L. Osborn Towards A Universal Relation Interface , 1979, Fifth International Conference on Very Large Data Bases, 1979..

[4]  James R. Pinkert,et al.  An algorithm for servicing multi-relational queries , 1977, SIGMOD '77.

[5]  Mihalis Yannakakis,et al.  Algorithms for Acyclic Database Schemes , 1981, VLDB.

[6]  David Maier,et al.  Specifying connections for a universal relation scheme database , 1982, SIGMOD '82.

[7]  Mihalis Yannakakis,et al.  Equivalences Among Relational Expressions with the Union and Difference Operators , 1980, J. ACM.

[8]  Yehoshua Sagiv,et al.  Can we use the universal instance assumption without using nulls? , 1981, SIGMOD '81.

[9]  Edward Ping Fung Chan Query answering and schema analysis under the weak instance model , 1984 .

[10]  Mihalis Yannakakis,et al.  Independent database schemas , 1982, PODS '82.

[11]  Peter Honeyman,et al.  Testing satisfaction of functional dependencies , 1982, JACM.

[12]  Alfred V. Aho,et al.  Equivalences Among Relational Expressions , 1979, SIAM J. Comput..

[13]  Peter Honeyman Extension Joins , 1980, VLDB.

[14]  Alfred V. Aho,et al.  Inferring a Tree from Lowest Common Ancestors with an Application to the Optimization of Relational Expressions , 1981, SIAM J. Comput..

[15]  David Maier,et al.  Windows on the world , 1983, SIGMOD '83.

[16]  Alberto O. Mendelzon,et al.  Independent and separable database schemes , 1983, PODS '83.

[17]  Alfred V. Aho,et al.  Efficient optimization of a class of relational expressions , 1979, ACM Trans. Database Syst..

[18]  FaginRonald Horn clauses and database dependencies , 1982 .

[19]  Catriel Beeri,et al.  The Implication Problem for Data Dependencies , 1981, ICALP.

[20]  Yehoshua Sagiv,et al.  A characterization of globally consistent databases and their correct access paths , 1983, TODS.

[21]  David Maier,et al.  Testing implications of data dependencies , 1979, SIGMOD '79.

[22]  Jeffrey D. Ullman,et al.  The U. R. strikes back , 1982, PODS.

[23]  Jeffrey D. Ullman,et al.  SYSTEM/U: a database system based on the universal relation assumption , 1984, TODS.

[24]  Mihalis Yannakakis Querying weak instances , 1984, PODS '84.

[25]  Ronald Fagin,et al.  A simplied universal relation assumption and its properties , 1982, TODS.

[26]  C. Robert Carlson,et al.  A generalized access path model and its application to a relational data base system , 1976, SIGMOD '76.

[27]  Yehoshua Sagiv Quadratic Algorithms for Minimizing Joins in Restricted Relational Expressions , 1983, SIAM J. Comput..

[28]  Catriel Beeri,et al.  Equivalence of Relational Database Schemes , 1981, SIAM J. Comput..

[29]  Alfred V. Aho,et al.  The theory of joins in relational data bases , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[30]  David Maier,et al.  Maximal objects and the semantics of universal relation databases , 1983, TODS.

[31]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[32]  Alberto O. Mendelzon,et al.  Notions of dependency satisfaction , 1982, JACM.

[33]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[34]  Alberto O. Mendelzon,et al.  Strong Equivalence of Relational Wxpressions Under Dependencies , 1982, Inf. Process. Lett..