TY - GEN
T1 - Context-preserving XQuery fusion
AU - Kato, Hiroyuki
AU - Hidaka, Soichiro
AU - Hu, Zhenjiang
AU - Nakano, Keisuke
AU - Ishihara, Yasunori
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=78650721411&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78650721411&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-17164-2_18
DO - 10.1007/978-3-642-17164-2_18
M3 - Conference contribution
AN - SCOPUS:78650721411
SN - 364217163X
SN - 9783642171635
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 255
EP - 270
BT - Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings
T2 - 8th Asian Symposium on Programming Languages and Systems, APLAS 2010
Y2 - 28 November 2010 through 1 December 2010
ER -