The purpose of semantic query optimization is to use semantic knowledge (e.g. integrity constraints) for transforming a query into an equivalent one that may be answered more efficiently than the original version. This paper proposes a general method for semantic query optimization in the framework of OODBs(Object Oriented Database Systems). The method is applicable to the class of conjunctive queries and is based on two ingredients: a description logics able to express both class descriptions and integrity constraints rules (IC rules) as types; subsumption computation between types to evaluate the logical implications expressed by IC rules.
Using subsumption for semantic query optimization / Beneventano, Domenico; Bergamaschi, Sonia; S., Lodi; C., Sartori. - STAMPA. - D-94-10:(1994), pp. 97-100. (Intervento presentato al convegno International Workshop on Description Logics tenutosi a Bonn, Germany nel May 28-29, 1994).