{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T16:29:00Z","timestamp":1673713740920},"reference-count":27,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,11,10]],"date-time":"2014-11-10T00:00:00Z","timestamp":1415577600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2015,5]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1017\/s096012951300008x","type":"journal-article","created":{"date-parts":[[2014,11,10]],"date-time":"2014-11-10T11:41:23Z","timestamp":1415619683000},"page":"916-941","source":"Crossref","is-referenced-by-count":1,"title":["Context-preserving XQuery fusion"],"prefix":"10.1017","volume":"25","author":[{"given":"H.","family":"KATO","sequence":"first","affiliation":[]},{"given":"S.","family":"HIDAKA","sequence":"additional","affiliation":[]},{"given":"Z.","family":"HU","sequence":"additional","affiliation":[]},{"given":"K.","family":"NAKANO","sequence":"additional","affiliation":[]},{"given":"Y.","family":"ISHIHARA","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,11,10]]},"reference":[{"key":"S096012951300008X_ref21","first-page":"55","volume-title":"Proceedings of the 28th ACM SIGMOD-SIGACT-SIGART. Symposium on Principles of Database Systems (PODS)","author":"Parys","year":"2009"},{"key":"S096012951300008X_ref27","unstructured":"Xu L. , Ling T. W. , Wu H. and Bao Z. (2009) DDE: From Dewey to a fully dynamic XML labelling scheme. In: Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD) 719\u2013730. http:\/\/doi.acm.org\/10.1145\/1559845.1559921."},{"key":"S096012951300008X_ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1739041.1739062"},{"key":"S096012951300008X_ref15","unstructured":"Koch C. (2005) On the role of composition in XQuery. In: Proceedings of the 8th International Workshop on the Web and Databases (WebDB) 37\u201342."},{"key":"S096012951300008X_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2007.05.003"},{"key":"S096012951300008X_ref20","unstructured":"Page W. L. , Hidders J. , Michiels P. , Paredaens J. and Vercammen R. (2005) On the expressive power of node construction in XQuery. In: Proceedings of the 8th International Workshop on the Web and Databases (WebDB) 85\u201390."},{"key":"S096012951300008X_ref18","first-page":"41","article-title":"Representing object identity in a pure functional language","volume":"470","author":"Ohori","year":"1990","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"S096012951300008X_ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071614"},{"key":"S096012951300008X_ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1007568.1007629"},{"key":"S096012951300008X_ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190241"},{"key":"S096012951300008X_ref13","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1145\/1458082.1458154","volume-title":"Proceedings of the 17th ACM Conference on Information and Knowledge Management (CIKM)","author":"Gueni","year":"2008"},{"key":"S096012951300008X_ref9","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"S096012951300008X_ref5","first-page":"168","volume-title":"Proceedings of the 30th International Conference on Very Large Data Bases (VLDB)","author":"Deutsch","year":"2004"},{"key":"S096012951300008X_ref26","unstructured":"World Wide Web Consortium (2010b) XQuery1.0 and XPath2.0 formal semantics. http:\/\/www.w3.org\/TR\/xquery-semantics\/. W3C Recommendation."},{"key":"S096012951300008X_ref12","first-page":"252","volume-title":"Proceedings of the 30th International Conference on Very Large Data Bases (VLDB)","author":"Grust","year":"2004"},{"key":"S096012951300008X_ref1","first-page":"33","volume-title":"Proceedings of the 28th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS)","author":"Amano","year":"2009"},{"key":"S096012951300008X_ref2","volume-title":"XQuery: The XML Query Language","author":"Brundage","year":"2004"},{"key":"S096012951300008X_ref3","first-page":"11","volume-title":"Proceedings of the Conference on Lisp and Functional Programming","author":"Chin","year":"1992"},{"key":"S096012951300008X_ref4","first-page":"58","article-title":"Query optimization in revelation, an overview","volume":"14","author":"Daniels","year":"1991","journal-title":"Data Engineering"},{"key":"S096012951300008X_ref6","first-page":"309","volume-title":"Proceedings of the 26th International Conference on Data Engineering (ICDE)","author":"Fegaras","year":"2010"},{"key":"S096012951300008X_ref7","doi-asserted-by":"publisher","DOI":"10.1145\/377674.377676"},{"key":"S096012951300008X_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/11546924_54"},{"key":"S096012951300008X_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30081-6_2"},{"key":"S096012951300008X_ref16","first-page":"193","volume-title":"Proceedings of the 31st International Conference on Very Large Data Bases (VLDB)","author":"Lu","year":"2005"},{"key":"S096012951300008X_ref23","doi-asserted-by":"publisher","DOI":"10.1145\/564691.564715"},{"key":"S096012951300008X_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-19027-9_23"},{"key":"S096012951300008X_ref25","unstructured":"World Wide Web Consortium (2010a) XQuery1.0: An XML query language. http:\/\/www.w3.org\/TR\/xquery\/. W3C Recommendation."}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S096012951300008X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,21]],"date-time":"2022-04-21T21:52:42Z","timestamp":1650577962000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S096012951300008X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,10]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["S096012951300008X"],"URL":"https:\/\/doi.org\/10.1017\/s096012951300008x","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,10]]}}}