Fast query processing in deductive databases
Dik Lun Lee, Yim Yung Leung · IEEE Software · 1993
A special-purpose algorithm, that analyzes the structure of a recursion and exploits its properties in query processing in a deductive database is presented. This method is applied to linear rules, a large and common class of recursion. The structural approach to rule processing (SARP) prototype system that implements the algorithm is described.>