XQuery formal semantics state and challenges-Reference-Cited by-同舟云学术

XQuery formal semantics state and challenges

Published:2001-09 Issue:3 Volume:30 Page:14-19
ISSN:0163-5808
Container-title:ACM SIGMOD Record
language:en
Short-container-title:SIGMOD Rec.

Author:

Fankhauser Peter¹

Affiliation:

1. Integrated Publication and Information Systems Institute, Darmstadt, Germany

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 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.

Publisher

Association for Computing Machinery (ACM)

Subject

Information Systems,Software

Link

https://dl.acm.org/doi/pdf/10.1145/603867.603870

Reference15 articles.

1. D. Chamberlin J. Clark D. Florescu J. Robie J. Siméon M. Stefanescu: XQuery 1.0: An XML Query Language. W3C Working Draft 2001. Available at: www.w3.org/TR/xquery/]] D. Chamberlin J. Clark D. Florescu J. Robie J. Siméon M. Stefanescu: XQuery 1.0: An XML Query Language. W3C Working Draft 2001. Available at: www.w3.org/TR/xquery/]]

2. D. Chamberlin P. Fankhauser M. Marchiori J. Robie. XML Query Requirements. W3C Working Draft 2001 Available at: www.w3.org/XML/Group/xmlquery/xmlquery-req]] D. Chamberlin P. Fankhauser M. Marchiori J. Robie. XML Query Requirements. W3C Working Draft 2001 Available at: www.w3.org/XML/Group/xmlquery/xmlquery-req]]

3. D. Chamberlin P. Fankhauser M. Marchiori J. Robie. XML Query Use Cases. W3C Working Draft 2001. Available at: www.w3.org/XML/Group/xmlquery/xmlquery-use-cases]] D. Chamberlin P. Fankhauser M. Marchiori J. Robie. XML Query Use Cases. W3C Working Draft 2001. Available at: www.w3.org/XML/Group/xmlquery/xmlquery-use-cases]]

4. P. Fankhauser M. Fernandez J. Siméon A. Malhotra M. Rys P. Wadler. XQuery 1.0 Formal Semantics. Available at: www.w3.org/TR/query-algebra/]] P. Fankhauser M. Fernandez J. Siméon A. Malhotra M. Rys P. Wadler. XQuery 1.0 Formal Semantics. Available at: www.w3.org/TR/query-algebra/]]

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An XML-algebra for efficient set-at-a-time execution;Computer Science and Information Systems;2012

2. Updating Typical XML Views;Database Systems for Advanced Applications;2012

3. Query Processing in INM Database System;Web-Age Information Management;2010

4. Declarative XML Update Language Based on a Higher Data Model;Journal of Computer Science and Technology;2005-05

5. Extending XML with Nonmonotonic Multiple Inheritance;Database Systems for Advanced Applications;2005