Knowledge discovery in deductive databases with large deduction results: The first step

Deductive databases have the ability to deduce new facts from a set of facts using a set of rules. They are also useful in the integration of artificial intelligence and database. However, when recursive rules are involved, the amount of deduced facts can become too large to be practically stored, viewed or analyzed. This seriously hinders the usefulness of deductive databases. In order to overcome this problem, we propose four methods to discover characteristic rules from large amount of deduction results without actually having to store all the deduction results. This paper presents the first step in the application of knowledge discovery techniques to deductive databases with large deduction results.