TY - GEN
T1 - Chain-split evaluation in deductive databases
AU - Han, Jiawei
PY - 1992/1
Y1 - 1992/1
N2 - A chain-split evaluation technique for the efficient evaluation of recursions in deductive databases is described. Three chain-split evaluation techniques: magic sets, buffered evaluation, and partial evaluation, are developed. The first one is applicable to the evaluation of function-free recursions. The latter two are applicable to both function-free and functional recursions. Partial evaluation is a further refinement of the buffered evaluation by evaluating the buffered functional predicates as much as possible to reduce the cost of maintaining the sequences of buffered values and facilitates termination judgment and constraint pushing. Chain-split evaluation is an important recursive query processing technique which can be implemented efficiently in deductive databases by extension to the available recursive query evaluation techniques.
AB - A chain-split evaluation technique for the efficient evaluation of recursions in deductive databases is described. Three chain-split evaluation techniques: magic sets, buffered evaluation, and partial evaluation, are developed. The first one is applicable to the evaluation of function-free recursions. The latter two are applicable to both function-free and functional recursions. Partial evaluation is a further refinement of the buffered evaluation by evaluating the buffered functional predicates as much as possible to reduce the cost of maintaining the sequences of buffered values and facilitates termination judgment and constraint pushing. Chain-split evaluation is an important recursive query processing technique which can be implemented efficiently in deductive databases by extension to the available recursive query evaluation techniques.
UR - http://www.scopus.com/inward/record.url?scp=0026676151&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0026676151&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0026676151
SN - 0818625457
T3 - Proceedings - International Conference on Data Engineering
SP - 376
EP - 384
BT - Proceedings - International Conference on Data Engineering
PB - Publ by IEEE
T2 - 8th International Conference on Data Engineering
Y2 - 3 February 1992 through 7 February 1992
ER -