and sufficient conditions to linearize doubly recursive programs in logic databases (1990)
| Venue: | ACM Trans. Database Syst |
| Citations: | 10 - 0 self |
BibTeX
@ARTICLE{Zhang90andsufficient,
author = {Weining Zhang and Clement T. Yu and Daniel Troy},
title = {and sufficient conditions to linearize doubly recursive programs in logic databases},
journal = {ACM Trans. Database Syst},
year = {1990},
volume = {15},
pages = {459--482}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
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. Categories and Subject Descriptors: H.2.4 [Database Management]: Systems-query processing;
