This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 29197 - [XQuery] 3.19 on validate expression mischaracterizes XSD 1.1
Summary: [XQuery] 3.19 on validate expression mischaracterizes XSD 1.1
Status: RESOLVED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 3.1 (show other bugs)
Version: Working drafts
Hardware: PC All
: P2 editorial
Target Milestone: ---
Assignee: Jonathan Robie
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-10-12 21:48 UTC by C. M. Sperberg-McQueen
Modified: 2015-10-16 21:31 UTC (History)
0 users

See Also:


Attachments

Description C. M. Sperberg-McQueen 2015-10-12 21:48:23 UTC
Section 3.19 of XQuery 3.1 says, under list item 4.b. [1]:

    If validation mode is lax and the root element information item 
    has neither a top-level element declaration nor an xsi:type attribute, 
    [XML Schema 1.0] or [XML Schema 1.1] defines the recursive checking 
    of children and attributes as optional. During processing of an 
    XQuery validate expression, this recursive checking is required.

This is true as regards XSD 1.0 but false as regards XSD 1.1, which requires such recursive checking in its definition of lax validation [2] and which mentions the change in its appendix H.1.12 [3], item 3:

    ·Lax assessment· ... now requires that the [children] and [attributes] 
    of the element be assessed as well. In XSD 1.0 and in earlier drafts, 
    lax assessment was optional and did not require the recursive assessment 
    of [children] and [attributes].


[1] http://www.w3.org/TR/xquery-31/#id-validate
[2] http://www.w3.org/TR/xmlschema11-1/structures.diff-1.0.html#key-lva
[3] http://www.w3.org/TR/xmlschema11-1/structures.diff-1.0.html#ch_sva

The simplest fix I see is to delete "or [XML Schema 1.1]" from the offending sentence.
Comment 1 Jonathan Robie 2015-10-16 21:31:28 UTC
Fixed in today's internal working draft.