Intensional Query Processing: A Three-Step Approach
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.
KeywordsQuery Processing Resolution Process Horn Clause Deductive Database Resolution Tree
Unable to display preview. Download preview PDF.
- C. Chang and R. Lee. Symolic Logic and Mechanical Theorem Proving. Academic Press, 1973.Google Scholar
- 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
- 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
- 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
- Il-Yeol Song. Intensional Query Processing in Deductive Database Systems. PhD thesis, Louisiana State University, August 1988.Google Scholar
- Il-Yeol Song and David Dubin. An Intensional Query Processor in Prolog. In submitted for publication, 1990.Google Scholar