An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination

Abstract

We propose a method called QSQN-TRE for evaluating queries to Horn knowledge bases by integrating Query-Subquery Nets with a form of tail-recursion elimination. The aim is to improve the QSQN method by avoiding materialization of intermediate results during the processing. We illustrate the efficiency of our method by empirical results, especially for tail-recursive cases. © Springer International Publishing Switzerland 2015.