Intensional Query Processing: A Three-Step Approach

  • Il-Yeol Song
  • Hyoung-Joo Kim
  • Petra Geutner


When processing a query in a conventional database a set of facts are usually returned for an answer. This can be different in a deductive or expert database system. Users may, as before, be interested in a set of facts to answer their query, but in certain queries users are also able to get the answer of a query as a set of formulas (e.g., facts, intensional answers).

These ”intensional answers” can greatly reduce the costs of processing a query, can be represented in a more compact way than a large set of facts, and are moreover independent of the current state of the database. In this paper, we introduce an intensional query processing technique composed of 3 steps. Our approach is more efficient than previous works on intentional query processing and provides guidelines of implementation details of intentional query processor.


Query Processing Resolution Process Horn Clause Deductive Database Resolution Tree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    C. Chang and R. Lee. Symolic Logic and Mechanical Theorem Proving. Academic Press, 1973.Google Scholar
  2. [2]
    L. Cholvy and R. Demolombe. Querying a Rule Base. In Proceedings of the First International Conference on Expert Database Systems, pages 365–371, Charleston, South Carolina, April 1–4 1986. Kerschberg, L.Google Scholar
  3. [3]
    L. Imielinski. Intelligent Query Answering in Rule Based Systems. Journal of Logic Programming, 4 (3): 229–258, September 1987.MathSciNetMATHCrossRefGoogle Scholar
  4. [4]
    E. Pascual and L. Cholvy. Answering Queries Addressed to the Rule Base of a Deductive Database. In Proceedings of Second International Conference on Information Processing and Management of Uncertainty in Knowledgebased Systems, pages 138–145, Urbino, Italy, July 1988. Springer-Verlag. Lecture Notes in Computer Sciences 313.Google Scholar
  5. [5]
    A. Pirotte and D. Roelants. Constraints for Improving the Generation of Intensional Answers in a Deductive Answer. In Proceedings of the International Conference on Data Engineering, Loa Angeles, California, Feb 6–10 1989.Google Scholar
  6. [6]
    Il-Yeol Song. Intensional Query Processing in Deductive Database Systems. PhD thesis, Louisiana State University, August 1988.Google Scholar
  7. [7]
    Il-Yeol Song and David Dubin. An Intensional Query Processor in Prolog. In submitted for publication, 1990.Google Scholar

Copyright information

© Springer-Verlag/Wien 1990

Authors and Affiliations

  • Il-Yeol Song
    • 1
  • Hyoung-Joo Kim
    • 2
  • Petra Geutner
    • 2
  1. 1.College of Information StudiesDrexel UniversityPhiladelphiaUSA
  2. 2.College of ComputingGeorgia Institute of TechnologyAtlantaUSA

Personalised recommendations