[Bug 6513] New: [XQuery] inconsistent terminology in definition of derives-from()

http://www.w3.org/Bugs/Public/show_bug.cgi?id=6513

           Summary: [XQuery] inconsistent terminology in definition of
                    derives-from()
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: minor
          Priority: P2
         Component: XQuery
        AssignedTo: jonathan.robie@redhat.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


XQuery 2.5.4 [SequenceType Matching] defines the concepts of "known" and
"unknown" schema types:
    The given schema type may be "known" (defined in the in-scope
    schema definitions), or "unknown" (not defined in the in-scope
    schema definitions).

The definition of pseudo-function 'derives-from' then uses these terms, but
it also uses the phrases
    "a schema type [not] found in the in-scope schema definitions"
suggesting that this is a distinct concept from known/unknown, which I
don't believe is intended.

Therefore, please change
    "AT is a schema type found in the in-scope schema definitions"
to
    "AT is a known type"
and
    "AT is a schema type not found in the in-scope schema definitions"
to
    "AT is an unknown type"

(Alternatively, you could unfold all uses of "known" and "unknown", and get
rid of the definitions, but they seem like useful abbreviations.)


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Sunday, 1 February 2009 22:18:03 UTC