Abstract
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.
