Sciweavers

SIGMOD
2001
ACM

XQuery Formal Semantics: State and Challenges

14 years 3 months ago
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
Peter Fankhauser
Added 08 Dec 2009
Updated 08 Dec 2009
Type Conference
Year 2001
Where SIGMOD
Authors Peter Fankhauser
Comments (0)