XQPE: A Partial Evaluation System for XQuery

Partial evaluation is an automatic approach to customize a program with respect to configuration values and invariants of the program itself. XQuery is a new query language for querying XML data source. In this paper, we present a partial evaluation system for the XQuery language named XQPE. XQPE is an off-line partial evaluation system; it offers specialization at compile time, and program specialization. The partial evaluation process of XQPE can be divided into two phases: one is analysis phase, and the other is specialization phase. Our XQPE has been implemented in Java, and the results of experiments show that the speedups of XQuery residual programs we have obtained are good.