The Community for Technology Leaders
Green Image
Issue No. 09 - September (1989 vol. 15)
ISSN: 0098-5589
pp: 1109-1119
ABSTRACT
<p>The problem of converting a simple nonlinear recursive logic query into an equivalent linear one is considered. A general method is given to transform a nonlinear rule into a sequence of linear ones. For efficient processing it is necessary to convert a nonlinear rule into a single linear rule. For such a conversion, a necessary and sufficient condition is provided for a type of doubly recursive rule to be equivalent to the resulting linear rule. It is also shown that a restricted type of higher order recursive rule is equivalent to the linear rule obtained by its conversion.</p>
INDEX TERMS
linearization; nonlinear recursive rules; nonlinear recursive logic query; necessary and sufficient condition; type; doubly recursive rule; equivalent; recursive functions
CITATION
W. Zhang, D.J. Troy, C.T. Yu, "Linearization of Nonlinear Recursive Rules", IEEE Transactions on Software Engineering, vol. 15, no. , pp. 1109-1119, September 1989, doi:10.1109/32.31368
98 ms
(Ver 3.1 (10032016))