Semantic Optimization of Queries in Deductive Object–Oriented Database

FRIAS, MARCELO FABIAN; GORDILLO, SILVIA

Moscow, Russia

Workshop; Advances on Databases and Information Systems, ADBIS’95; 1995

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.