Recursive versus iterative schemes for least fix point computation in logic databases

摘要

We study the evaluation of recursively defined virtual relations in logic databases. A contribution of our research, is to answer a query involving a recursive relation by executing either an iterative or a recursive procedure scheme depending on the variable instantiation of the query itself.