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