28275 2015-03-23 00:24:38 +0000 [XP3.1] Introduction - type system reference 2015-07-14 14:26:11 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XPath 3.1 Candidate Recommendation PC Linux RESOLVED WONTFIX P2 minor --- 1 patrick jonathan.robie jim.melton mike public-qt-comments oldest_to_newest 118792 0 patrick 2015-03-23 00:24:38 +0000 Introduction - second bulleted list "The type system of XPath 3.1 is based on XML Schema. It is implementation-defined whether the type system is based on [XML Schema 1.0] or [XML Schema 1.1]." The correct URL for XML Schema 1.0 reads: http://www.w3.org/TR/xmlschema-2/#typesystem 2 Type System The correct URL for XML Schema 1.1 reads: http://www.w3.org/TR/xmlschema11-2/#typesystem (note the name is no longer type system but Datatype System in XML Schema 1.1, part 2, 2 Datatype System.) 118857 1 mike 2015-03-23 08:37:55 +0000 Unfortunately XSD uses the terms "simple type" and "datatype" pretty much as synonyms. We decided, I think rightly, to avoid the term "datatype" in our specs, but it might be worth a mention when referring people to XSD part 2 to mention that they use the term "datatype". XSD 1.1 part 2 has a veiled apology for the inconsistency: "Note: This specification sometimes uses the shorter form "type" where one might strictly speaking expect the longer form "datatype" (e.g. in the phrases "union type", "list type", "base type", "item type", etc. No systematic distinction is intended between the forms of these phrase with "type" and those with "datatype"; the two forms are used interchangeably." (I remember the copy-editors for my book going nuts over this.) 121954 2 jonathan.robie 2015-07-10 21:24:42 +0000 The best fix I can think of for the terminology issue is to add this note: 2.5 Types The type system of XQuery 3.1 is based on [XML Schema 1.0] or [XML Schema 1.1]. <add> Note: XQuery continues to use the term type system, as did [XML Schema 1.0]. [XML Schema 1.1] now uses the term datatype system. </add> 122006 3 jonathan.robie 2015-07-14 00:08:30 +0000 Looking at this more carefully, I disagree with the premise of the bug. The type system of XQuery is "based on", not identical to, the full type system of XML Schema, including both simple and complex types. It adds some types not found in XML Schema (maps, arrays, sequences), and ignores some details of XML Schema. The 'datatype system' of XML Schema Part 2 does not cover the types of XML Schema Part 1. XQuery / XPath is "based on" both. I think the appropriate thing to do here is to close the bug as INVALID/WONTFIX.