TY - GEN
T1 - Efficient evaluation of linear recursions with function symbols in deductive databases
AU - Han, Jiawei
AU - Wang, Qiang
N1 - Funding Information:
t The work was supported by the Natural Sciences and Engineering Research Council (NSERC) of Canada under operating grant A-3723 and a research grant from Centre for System Science of Simon Fraser University.
Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1991.
PY - 1991
Y1 - 1991
N2 - We study the compilation and efficient evaluation of functional linear recursions in deductive databases and develop a compiled chain-based query evaluation technique. A functional linear recursion is transformed to a function-free one by a function-predicate transformation. It is then compiled to a highly regular chain/bounded form which can be evaluated efficiently by the incorporation of finiteness, monotonicity and query constraints. Compilation greatly facilitates the analysis of functional recursions.
AB - We study the compilation and efficient evaluation of functional linear recursions in deductive databases and develop a compiled chain-based query evaluation technique. A functional linear recursion is transformed to a function-free one by a function-predicate transformation. It is then compiled to a highly regular chain/bounded form which can be evaluated efficiently by the incorporation of finiteness, monotonicity and query constraints. Compilation greatly facilitates the analysis of functional recursions.
UR - http://www.scopus.com/inward/record.url?scp=85037082831&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85037082831&partnerID=8YFLogxK
U2 - 10.1007/3-540-54563-8_77
DO - 10.1007/3-540-54563-8_77
M3 - Conference contribution
AN - SCOPUS:85037082831
SN - 9783540545637
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 132
EP - 141
BT - Methodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings
A2 - Ras, Zbigniew W.
A2 - Zemankova, Maria
PB - Springer
T2 - 6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991
Y2 - 16 October 1991 through 19 October 1991
ER -