2015年5月
Context-preserving XQuery fusion
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
- ,
- ,
- ,
- ,
- 巻
- 25
- 号
- 4
- 開始ページ
- 916
- 終了ページ
- 941
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1017/S096012951300008X
- 出版者・発行元
- CAMBRIDGE UNIV PRESS
This paper solves the known problem of elimination of unnecessary internal element construction as well as variable elimination in XML processing with (a subset of) XQuery without ignoring the issues of document order. 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 through the system.
- リンク情報
- ID情報
-
- DOI : 10.1017/S096012951300008X
- ISSN : 0960-1295
- eISSN : 1469-8072
- Web of Science ID : WOS:000352509400007