论文信息 - LiXQuery: a formal foundation for XQuery research

LiXQuery: a formal foundation for XQuery research

XQuery is considered to become the standard query language for XML documents. However, the complete XQuery syntax and semantics seem too complicated for research and educational purposes. By defining a concise backwards compatible subset of XQuery with a complete formal description, we provide a practical foundation for XQuery research. We pay special attention to usability by supporting the most typical XQuery expressions.

Jan Hidders | Jan Paredaens | Philippe Michiels | Roel Vercammen

[1] Stephan Kepser,et al. A Simple Proof for the Turing-Completeness of XSLT and XQuery , 2004, Extreme Markup Languages®.

[2] Jan Hidders,et al. A Light but Formal Introduction to XQuery , 2004, XSym.

[3] Georg Gottlob,et al. The complexity of XPath query evaluation , 2003, PODS.

[4] Frank Neven,et al. Frontiers of tractability for typechecking simple XML transformations , 2007, J. Comput. Syst. Sci..

[5] Peter Fankhauser,et al. Editors , 2016 .

[6] Gabriel M. Kuper,et al. Structural Properties of XPath Fragments , 2003, ICDT.

[7] Donald D. Chamberlin. XQuery: An XML query language , 2002, IBM Syst. J..

[8] P. Wadler. Two semantics for XPath , 2000 .

[9] Philip Wadler,et al. XQuery from the Experts: A Guide to the W3C XML Query Language , 2003 .

[10] Alon Y. Halevy,et al. Updating XML , 2001, SIGMOD '01.

[11] Frank Neven,et al. A formal model for an expressive fragment of XSLT , 2002, Inf. Syst..

[12] Maarten Marx,et al. Conditional XPath, the first order complete XPath dialect , 2004, PODS.

[13] DANIELE BRAGA,et al. XQBE (XQuery By Example): A visual interface to the standard XML query language , 2005, TODS.