Optimizing Function-Free Recursive Inference Rules

摘要

Recursive inference rules arise in recursive definitions in logic programming systems and in database systems with recursive query languages. Let D be a recursive definition of a relation t. The authors say that D is minimal if for any predicate p in a recursive rule in D, p must appear in a recursive rule in any definition of t. They show that testing for minimality is in general undecidable. However, they do present an efficient algorithm for a useful class of recursive rules, and show how to use it to transform a recursive definition to a minimal recursive definition. Evaluating the optimized definition will avoid redundant computation without the overhead of caching intermediate results and run-time checking for duplicate goals.