Context-Preserving XQuery Fusion

Hiroyuki Kato,Soichiro Hidaka,Zhenjiang Hu,Keisuke Nakano,Yasunori Ishihara
DOI: https://doi.org/10.1007/978-3-642-17164-2_18
2010-01-01
Mathematical Structures in Computer Science
Abstract:XQuery is a DBPL for querying XML databases. The semantics of XQuery is context sensitive and requires preservation of document order. In this paper, we propose, as far as we are aware, the first XQuery fusion that can deal with both the document order and the context of XQuery expressions. More specifically, we carefully design a context representation of XQuery expressions based on the Dewey order encoding, develop a context-preserving XQuery fusion for ordered trees by static emulation of the XML store, and prove that our fusion is correct. Our XQuery fusion has been implemented, and all the examples in this paper have passed the system.
What problem does this paper attempt to address?