Semantic Optimization of Queries in Deductive Object-Oriented Database

Fork algebras arose in computer science as a relational framework for program specification and development. They also shown to have applications in algebraic logic, the latter because of their expressiveness and finite axiomatizability. In this paper we present a new application of fork algebras, namely, as a framework suitable for derivation by calculation of new strategies for optimization of queries in deductive object-oriented database.

[1]  Marcelo F. Frias,et al.  From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap , 1996, MFCS.

[2]  A. Tarski,et al.  A Formalization Of Set Theory Without Variables , 1987 .

[3]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[4]  Alberto Pettorossi,et al.  Rules and Strategies for Program Transformation , 1993, Formal Program Development.

[5]  Manfred Broy,et al.  Proceedings of the International Conference on Formal Methods in Programming and Their Applications , 1993, FME 1993.

[6]  Paulo A. S. Veloso,et al.  A finitary relational algebra for classical first-order logic , 1991 .

[7]  Gunther Schmidt,et al.  On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers , 1993, Formal Methods in Programming and Their Applications.

[8]  Richard T. Snodgrass,et al.  Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data : SIGMOD '94, Minneapolis, Minnesota, May 24-27, 1994 , 1994, ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems.

[9]  Michael Stonebraker.  Proceedings of the 1983 ACM SIGMOD international conference on Management of data , 1983, SIGMOD 1992.

[10]  Marcelo F. Frias,et al.  PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving , 1995, TAPSOFT.

[11]  A. Tarski,et al.  Cylindric Algebras. Part II , 1988 .

[12]  Tomasz Imielinski,et al.  The Relational Model of Data and Cylindric Algebras , 1984, J. Comput. Syst. Sci..

[13]  David J. DeWitt,et al.  Proceedings of the Fourteenth International Conference on Very Large Data Bases , 1988 .

[14]  Goetz Graefe,et al.  Optimization of dynamic query evaluation plans , 1994, SIGMOD '94.

[15]  Soumitra Dutta,et al.  A formal model of trade-off between optimization and execution costs in semantic query optimization , 1988, Data Knowl. Eng..

[16]  Christopher J. Hogger,et al.  Derivation of Logic Programs , 1981, JACM.

[17]  Alfred Tarski,et al.  Distributive and Modular Laws in the Arithmetic of Relation Algebras , 1953 .

[18]  D. N. Lehmer,et al.  University of California publications in mathematics , 1966 .

[19]  Sophie Cluet,et al.  A general framework for the optimization of object-oriented queries , 1992, SIGMOD '92.

[20]  Guy M. Lohman,et al.  Implementing an Interpreter for Functional Rules in a Query Optimizer , 1988, VLDB.