Partial evaluation of queries in deductive databases (Q1108821)

This paper presents some applications of the partial evaluation method to a query optimization in deductive databases. A Horn clause transformation is used for the partial evaluation of a query in an intensional database, and its application to multiple query processing is discussed. Three strategies are presented for the compatible case, ordered case and crossed case. In each case, partial evaluation is used to preprocess the intensional database in order to obtain subqueries which direct access to an extensional database.