Combining Resolution and Classification for Semantic Query Optimization in DOOD

This paper proposes a framework for semantic query optimization in deductive object-oriented databases. The intentional database is described by means of clauses and a more restricted language is used for the integrity constraints. We apply a specific resolution and a classification mechanism to rewrite a query into a less expensive yet equivalent one. The main contribution of this paper is to show how resolution and classification can be used together within a common framework to perform complementary semantic query optimizations in deductive object oriented databases.