Partial Evaluation of Queries in Deductive Databases

Chiaki Sakama and Hidenori Itoh

New Generation Computing 6:249-258, Ohmsha, LTD.& Springer-Verlag, 1988.


This paper presents some applications of partial evaluation methods to query optimization in deductive databases. A Horn clause transformation is used for 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 directly access to an extensional database.

Full Paper (PDF 557K)