Title :
Efficient evaluation of multiple linear recursions
Author :
Han, Jiawei ; Liu, Ling
Author_Institution :
Sch. of Comput. Sci., Simon Fraser Univ., Burnaby, BC, Canada
fDate :
12/1/1991 12:00:00 AM
Abstract :
The authors study the efficient evaluation of side-coherent multiple linear recursions, which can be further classified into three types: multiple one-sided, multiple balanced k-sided, and multiple mixed k-sided. New techniques are developed by integrating the existing single-linear recursive query evaluation methods with the idea of side-relation unioned processing, which leads to a set of efficient query evaluation algorithms such as a side-relation unioned transitive closure algorithm for the processing of Type I ML recursions and a generalized side-relation unioned magic sets method for the processing of Types II and III ML recursions. The authors describe the processing of single-probe queries on side-coherent ML recursions. They outline the processing of complex queries on ML recursions
Keywords :
database theory; deductive databases; information retrieval; recursive functions; deductive database; multiple balanced K-sided recursions; multiple mixed K-sided recursion; multiple one sided linear recursions; side-coherent multiple linear recursions; side-relation unioned magic sets method; side-relation unioned processing; side-relation unioned transitive closure algorithm; single-linear recursive query evaluation; single-probe queries; Councils; Deductive databases; Helium; Logic programming; Query processing;
Journal_Title :
Software Engineering, IEEE Transactions on