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 1409 - [DM] are lax attributes of type xdt:untypedAtomic?
Summary: [DM] are lax attributes of type xdt:untypedAtomic?
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Data Model 1.0 (show other bugs)
Version: Last Call drafts
Hardware: PC Windows XP
: P2 normal
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: 2005-05-13 20:13 UTC by Michael Rys
Modified: 2005-09-29 11:03 UTC (History)
0 users

See Also:


Attachments

Description Michael Rys 2005-05-13 20:13:31 UTC
"- The [validity] property exists and is not "valid", or the [validition 
attempted] property exists and is not "full", the schema type of an element is 
xs:anyType and the type of an attribute is xdt:untypedAtomic."

Wasn't that changed in Brisbane to be xs:anySimpleType for attributes? 

The Brisbane minutes are not a 100% clear. The advantage of xdt:untypedAtomic 
is that since that is the atomized dynamic type in this case anyway, it gives 
a better static type inference since we can statically assume such attributes 
(eg. in lax validation contexts) to be always untyped. The advantage of 
xs:anySimpleType is that it is aligned with schema.
Comment 1 Norman Walsh 2005-05-17 15:56:09 UTC
Raleigh f2f resolution:

# The [validity] property exists and is "invalid", or the [validition attempted]
property exists and is "partial", the schema type of an element is xs:anyType
and the type of an attribute is xs:anySimpleType. 
  
# The [validity] property exists and is "notKnown", and the [validition
attempted] property exists and is "none", the schema type of an element is
xdt:untyped and the type of an attribute is xdt:untypedAtomic. 
 
# The [validity] or [valadition attempted] properties do not exist, the schema
type of an element is xdt:untyped and the type of an attribute is
xdt:untypedAtomic. 

See also http://www.w3.org/XML/2001/06/validity-outcomes.html