Efficient Recursive Query Processing using Wavefront Methods

A necessary condition for a doubly recursive rule to be equivalent to a linear recursive rule

SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data

Linearization of Nonlinear Recursive Rules

IEEE Transactions on Software Engineering

Necessary and sufficient conditions to linearize doubly recursive programs in logic databases

ACM Transactions on Database Systems (TODS)

A transitive closure and magic functions machine

DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems

An Extended Disjunctive Normal Form Approach for Optimizing Recursive Logic Queries in Loosely Coupled Environments

VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases