XQuery formal semantics state and challenges

Authors
Fankhauser, P
Citation
P. Fankhauser, XQuery formal semantics state and challenges, SIG RECORD, 30(3), 2001, pp. 14-19
Citations number
14
Categorie Soggetti
Computer Science & Engineering
Journal title
SIGMOD RECORD
ISSN journal
01635808 → ACNP
Volume
30
Issue
3
Year of publication
2001
Pages
14 - 19
Database
ISI
SICI code
0163-5808(200109)30:3<14:XFSSAC>2.0.ZU;2-D
Abstract
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 i ntroduces the current state of the formalization and discusses some of the more demanding remaining challenges in formally describing an expressive qu ery language for XML.