[Bug 29197] New: [XQuery] 3.19 on validate expression mischaracterizes XSD 1.1

https://www.w3.org/Bugs/Public/show_bug.cgi?id=29197

            Bug ID: 29197
           Summary: [XQuery] 3.19 on validate expression mischaracterizes
                    XSD 1.1
           Product: XPath / XQuery / XSLT
           Version: Working drafts
          Hardware: PC
                OS: All
            Status: NEW
          Severity: editorial
          Priority: P2
         Component: XQuery 3.1
          Assignee: jonathan.robie@gmail.com
          Reporter: cmsmcq@blackmesatech.com
        QA Contact: public-qt-comments@w3.org
  Target Milestone: ---

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.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Monday, 12 October 2015 21:48:30 UTC