Typechecking XQuery: A Prototype in ASF+SDF
Keywords:
Operational Semantics, XQuery, Type Systems.Abstract
Semistructured data (particularly XML) are the standard data representation for information exchange in the world-wide web. A number of query languages for XML has been proposed. Most of them follow the style of SQL. One of these languages is XQuery. In this work, we propose the construction of a prototype for the static type analysis of XQuery programs. The prototype implements XQuery operational semantics, in a way that is close to that proposed by theW3C. The implementation was built using the ASF+SDF meta-environment. The prototype described here is a first step in the construction of a practical XML query language laboratory, in which different semantics for commands may be tested.
Downloads
Published
Issue
Section
License
Authors keep copyrights and conced to the magazine the right of first publication, with the paper also licensed up Creative Commons Attribution License, wich alows sharing the paper with credits to the author and initial publication in this magazine.
This journal provides open access to all of it content on the principle that making research freely available to the public supports a greater global exchange of knowledge. Such access is associated with increased readership and increased citation of an author's work. For more information on this approach, see the Public Knowledge Project, which has designed this system to improve the scholarly and public quality of research, and which freely distributes the journal system as well as other software to support the open access publishing of scholarly resources. The names and email addresses entered in this journal site will be used exclusively for the stated purposes of this journal and will not be made available for any other purpose or to any other party.
