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
Full Paper (PDF 557K)