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 28299 - [XDM3.1] 2.5.1 Predefined Schema Types - incorrect list
Summary: [XDM3.1] 2.5.1 Predefined Schema Types - incorrect list
Status: RESOLVED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Data Model 3.1 (show other bugs)
Version: Candidate Recommendation
Hardware: PC Linux
: P2 minor
Target Milestone: ---
Assignee: Norman Walsh
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 01:05 UTC by Patrick Durusau
Modified: 2015-07-16 19:19 UTC (History)
4 users (show)

See Also:


Attachments

Description Patrick Durusau 2015-03-23 01:05:12 UTC
2.5.1 Predefined Schema Types

"The schema types defined in [XQuery and XPath Data Model (XDM) 3.1] are summarized below."

Using the correct URL: http://www.w3.org/TR/xpath-datamodel-31/#types-predefined, might alert proofers to XDM defining five (5) additional types, not six as listed here. 

#6 declares itself: "[Definition: xs:error is a simple type with no value space, defined in [XML Schema 1.1]." to not belong in the list.
Comment 1 Jonathan Robie 2015-07-11 21:15:07 UTC
xs:error is missing from XDM31.  It is used in the XQuery and XPath specifications, it needs to be in the data model.
Comment 2 Michael Kay 2015-07-15 15:43:30 UTC
Noted also:

Section 2.7.2 of XDM:

(a) lists 5 "additional types" first defined in XDM rather than XSD, of which 3 have in fact been adopted by XSD 1.1.

(b) omits types that are neither "primitive types" nor "additional types", of which xs:error is one example (others are xs:int, xs:NMTOKEN, etc)

(c) omits another "additional type": xs:numeric
Comment 3 Michael Kay 2015-07-16 19:07:49 UTC
We decided that the types in the XS namespace could be classified as follows and that the section should be recast along these lines:

The data model adopts the following types from [Schema 1.0 Part 2]:

19 primitive types...
NN derived types...
3 built-in list types xs:NMTOKENS, IDREFS, ENTITIES

It further defines the following types which were originally defined in XDM 1.0 and were subsequently adopted by XSD 1.1:

xs:anyAtomicType
xs:dayTimeDuration
xs:yearMonthDuration

In the case of a processor that "supports" XSD 1.1 the data model also includes:

the new union type xs:error (a type with no instances)
the new derived type xs:dateTimeStamp

The following types, although they use the xs namespace, are defined here in XDM and not in XSD:

xs:untypedAtomic
xs:numeric, a union type whose members are xs:double, xs:float and xs:decimal
Comment 4 Michael Kay 2015-07-16 19:14:11 UTC
Noted also, F+O defines

The type xs:numeric is defined as a union type whose member types are (in order) xs:double, xs:float, and xs:decimal.

but this definition really ought to be in XDM.
Comment 5 Jonathan Robie 2015-07-16 19:16:42 UTC
XQuery / XPath do not currently say that only implementations that support XML Schema 1.1 need to support xs:error. This is not listed in this text:

<quote>
Whether the type system is based on [XML Schema 1.0] or [XML Schema 1.1]. An implementation that has based its type system on XML Schema 1.0 is not required to support the use of the xs:dateTimeStamp constructor or the use of xs:dateTimeStamp as TypeName in any expression.
</quote>