XQuery formal semantics state and challenges
Péter Fankhauser · ACM SIGMOD Record · 2001
The XQuery formalization is an ongoing effort of the W3C XML Query working group to define a precise formal semantics for XQuery. This paper briefly introduces the current state of the formalization and discusses some of the more demanding remaining challenges in formally describing an expressive query language for XML.