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 28275 - [XP3.1] Introduction - type system reference
Summary: [XP3.1] Introduction - type system reference
Status: RESOLVED WONTFIX
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XPath 3.1 (show other bugs)
Version: Candidate Recommendation
Hardware: PC Linux
: P2 minor
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-03-23 00:24 UTC by Patrick Durusau
Modified: 2015-07-14 14:26 UTC (History)
2 users (show)

See Also:


Attachments

Description Patrick Durusau 2015-03-23 00:24:38 UTC
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.)
Comment 1 Michael Kay 2015-03-23 08:37:55 UTC
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.)
Comment 2 Jonathan Robie 2015-07-10 21:24:42 UTC
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>
Comment 3 Jonathan Robie 2015-07-14 00:08:30 UTC
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.