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