Abstract:
In this paper,we present the research and implementation of off-line partial evaluation for the XQuery language.The main partial evaluation process includes two phases,that is,preprocessing phase and specialization phase.Using the reference-sensitivity analysis and a two-stage binding-time analysis,the former phase gives the necessary control or range information for processing phase to direct program specialization.The latter phase finishes the program specialization and generates residual program for source XQuery program,and it supports both compile-time specialization and run-time specialization.On the basis of this technique,a prototype of partial evaluation system for XQuery has been implemented,and the results of experiments show that the speedups of XQuery residual programs that have obtained are good.