## Necessary and sufficient conditions to linearize doubly recursive programs in logic databases (1990)

Venue: | ACM TRANS. DATABASE SYST |

Citations: | 10 - 0 self |

### BibTeX

@ARTICLE{Zhang90necessaryand,

author = {Weining Zhang and Clement T. Yu and Daniel Troy},

title = {Necessary and sufficient conditions to linearize doubly recursive programs in logic databases},

journal = {ACM TRANS. DATABASE SYST},

year = {1990},

volume = {15},

number = {3},

pages = {459--482}

}

### Years of Citing Articles

### OpenURL

### Abstract

Linearization of nonlinear recursive programs is an important issue in logic databases for both practical and theoretical reasons. If a nonlinear recursive program can be transformed into an equivalent linear recursive program, then it may be computed more efficiently than when the transformation is not possible. We provide a set of necessary and sufficient conditions for a simple doubly recursive program to be equivalent to a simple linear recursive program. The necessary and sufficient conditions can be verified effectively.