Skip to main content
SpringerLink
Log in

Partial evaluation of queries in deductive databases

  • Published:
New Generation Computing Aims and scope Submit manuscript

Abstract

This paper presents some applications of partial evaluation method to a query optimization in deductive database. 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bancilhon, F. and Ramakrishnan, R., “An Amateur’s Introduction to Recursive Query Processing Strategies,”Proc. ACM SIGMOD ’86, pp. 16–52, 1986.

  2. Chakravathy, U. S. and Minker, J., “Multiple Query Processing in Deductive Databases Using Query Graphs,”Proc. 12th Int. Conf. on VLDB, pp. 384–391, 1986.

  3. Futamura, Y., “Partial Computation of Programs,”Lecture Notes in Computer Science, Vol. 147, pp. 1–35, 1983.

    Google Scholar 

  4. Gallaire, H., Minker, J. and Nicolas, J. M., “Logic and Databases: A Deductive Approach,”ACM Computing Surveys, Vol. 16, No. 2, pp. 153–185, 1984.

    Article  MATH  MathSciNet  Google Scholar 

  5. Miyazaki, N., Yokota, H. and Itoh, H., “Compiling Horn Clause Queries in Deductive Databases: A Horn Clause Transformation Approach,”ICOT Technical Report, No. 183, 1986.

  6. Reiter, R., “Deductive Question-Answering on Relational Data Bases,” inLogic and Data Bases, Plenum Press, 1978.

  7. Ullman, J. D., “Implementation of Logical Query Languages for Databases,”ACM TODS, Vol. 10, No. 3, pp. 289–321, 1985.

    Article  MATH  Google Scholar 

  8. Yokota, H., Kunifuji, S. et al., “An Enhanced Inference Mechanism for Generating Relational Algebra Queries,”Proc. 3rd ACM PODS, pp. 229–238, 1984.

Download references

Author information

Authors and Affiliations

  1. Institute for New Generation Computer Technology, Mita Kokusai Building 21F, 1-4-28 Mita, Minato-ku, Tohyo, Japan

    Chiaki Sakama & Hidenori Itoh

Authors
  1. Chiaki Sakama
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hidenori Itoh
    View author publications

    You can also search for this author in PubMed Google Scholar

About this article

Cite this article

Sakama, C., Itoh, H. Partial evaluation of queries in deductive databases. New Gener Comput 6, 249–258 (1988). https://doi.org/10.1007/BF03037140

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03037140

Keywords

Search

Navigation