XQuery Formal Semantics: State and Challenges

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. General Terms Standardization, Languages Keywords XML, databases, query languages, formal semantics

• Type: Conference
• Year: 2001
• Where: SIGMOD
• Authors: Peter Fankhauser
• Keywords: Database, Precise Formal Semantics, SIGMOD 2001, W3C XML Query, XQuery Formalization