
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
W. Lu, D.L. Lee, J. Han, "A Study on the Structure of Linear Recursion," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 5, pp. 723737, October, 1994.  
BibTex  x  
@article{ 10.1109/69.317703, author = {W. Lu and D.L. Lee and J. Han}, title = {A Study on the Structure of Linear Recursion}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {6}, number = {5}, issn = {10414347}, year = {1994}, pages = {723737}, doi = {http://doi.ieeecomputersociety.org/10.1109/69.317703}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Knowledge and Data Engineering TI  A Study on the Structure of Linear Recursion IS  5 SN  10414347 SP723 EP737 EPD  723737 A1  W. Lu, A1  D.L. Lee, A1  J. Han, PY  1994 KW  query processing; database theory; optimisation; deductive databases; linear recursion; expansions; variable connections; static bindings; chain connections; chain recursions; query processing; rule compilation; query information; optimized queryprocessing plans; deductive database; logic database; rule classification VL  6 JA  IEEE Transactions on Knowledge and Data Engineering ER   
We study a general class of single linear recursions and the properties of their expansions by analyzing the structures of the recursions. We show that the expansions of a linear recursion of this class are very regular in that the variable connections are heavily shared and change periodically with respect to the expansions. The variable connections can be precisely characterized as static bindings and chain connections. We conclude that a single linear recursion under our assumptions either is bounded or can be expressed as chain recursions. This study contributes to query processing, because it provides the basis for rule compilation as a general and powerful technique for query processing. Combined with query information, the expansion properties of the recursion provide optimized queryprocessing plans.
[1] H. Aly and Z. M. Ozsoyoglu, "Synchronized counting method,"Proc. 5th Int. Conf. Data Eng., 1989, pp. 366373.
[2] F. Bancilhon and R. Ramakrishnan, "An amateur's introduction to recursive query processing strategies," inProc. 1986 ACMSIGMOD Conf. Management of Data(Washington, DC), May 1986, pp. 1652.
[3] C. Beeri and R. Ramakrishnan, "On the power of magic," inProc. 6th ACM Symp. Principles of Database Syst.(San Diego, CA), Mar. 1987, pp. 269283.
[4] J. Han, "Compiling general linear recursions by variable connection graph analysis,"Comput. Intell., vol. 5, no. 1, pp. 1231, 1989.
[5] J. Han and L. J. Henschen, "The levelcycle merging method,"Proc. 1st Int. Conf. Deductive and ObjectOriented Databases (DOOD'89), 1989, pp. 113129.
[6] J. Han and L. Liu, "Processing multiple linear recursions,"IEEE Trans. Software Eng., vol. 17, pp. 12411252, 1991.
[7] J. Han and L. Liu, "Asynchronous chain recursions,"IEEE Trans. Knowl. Data Eng., vol. 1, pp. 185195, June 1989.
[8] L. J. Henschen and S. Naqvi, "On compiling queries in recursive firstorder databases,"J. ACM, vol. 1, no. 1, pp. 4785, 1984.
[9] Y. E. Ioannidis, "A time bound on the materialization of some recursively defined views,"Proc. 11th Int. Conf. Very Large Data Bases, 1985, pp. 219225.
[10] H. V. Jagadish and R. Agrawal, "A study of transitive closure as a recursion mechanism," inProc. 1987 ACM SIGMOD Conf. (San Francisco, CA), 1987, pp. 331334.
[11] D. L. Lee and W. Lu, "Graph modeling and analysis of linear recursive queries,"Proc. Int. Conf. Database, Parallel Architectures, and Their Applic. (PARBASE90), 1990, pp. 4453.
[12] D. L. Lee and W. Lu, "Graph modeling and analysis of linear recursive queries,"Database: Theory, Design and Aplications, 1991, pp. 151167.
[13] Y. Y. Leung and D. L. Lee, "Logic approaches for deductive databases,"IEEE Expert, vol. 3, pp. 6475, Winter 1988.
[14] W. Lu and D. L. Lee, "Recursive query processing based on program structure,"Methodogies for Intell. Syst., vol. 5, pp. 174181, 1990.
[15] W. Lu and D. L. Lee, "The design of a recursive query processor,"Proc. Int. Conf. Data Base and Expert Syst. Applic. (DEXA '90), 1990, pp. 448455.
[16] W. Lu and D. L. Lee, "Structural study and query processing of commutative multiple linear recursions,"Proc. Int. Symp. Computational Intell. (CI'90), Milan, Italy, Sept. 1990.
[17] W. Lu and D. Lee, "Characterization and Processing of Simple PrefixedChain Recursion,"Information Sciences, Feb. 1993, pp. 247281.
[18] W. Lu, D. L. Lee, I.M. Hsu, and S.S. Wei, "Minimizing search redundancy in processing bounded recursions,"Proc. CIPS Edmonton '90 Inform. Technol. Conf., Edmonton, AB, Canada, Oct. 1990.
[19] J. F. Naughton, "Minimizing functionfree recursive inference rules,"J. ACM, vol. 36, no. 1, pp. 6991, 1989.
[20] J. F. Naughton, "Compiling separable recursions," inProc. 1988 ACMSIGMOD Conf. Management of Data(Chicago, IL), June 1988, pp. 312319.
[21] J. F. Naughton, "Onesided recursions," inProc. 6th ACM Symp. Principles of Database Syst., San Diego, CA, Mar. 1987, pp. 340 348.
[22] J. F. Naughton, R. Ramakrishnan, Y. Sagiv, and J. D. Ullman, "Efficient evaluation of right, left, and multilinear rules," inProc. 1989 ACMSIGMOD Conf. Management of Data(Portland, OR), June 1989, pp. 235242.
[23] J. F. Naughton and Y. Sagiv, "A decidable class of bounded recursions," inProc. 6th ACM Symp. Principles of Database Syst.(San Diego, CA), Mar. 1987, pp. 214226.
[24] J. D. Ullman, "Implementation of logical query languages for databases,"ACM TODS, vol. 10, no. 3, pp. 289321, 1985.
[25] M. Y. Vardi, "Decidability and undecidability results for boundedness of linear recursive queries," inProc. ACM Symp. Principles of Database Syst., 1988, pp. 341350.
[26] C. Youn, L. J. Henschen, and J. Han, "Onedirectional recursive formulas,"Proc. 3rd Int. Conf. Data Knowl. Bases, 1988, pp. 6978.
[27] C. Youn, L. Henschen, and J. Han "A classification of recursive formulas in deductive databases," inProc. ACMSIGMOD Conf. Management of Data, Chicago, IL, June 1988.