http://www.w3.org/Bugs/Public/show_bug.cgi?id=4046 tim@cbcl.co.uk changed: What |Removed |Added ---------------------------------------------------------------------------- BugsThisDependsOn| |3641 ------- Comment #1 from tim@cbcl.co.uk 2006-12-12 17:57 ------- This problem also applies to ForExprType025-ForExprType027. I believe the problem boils down to the following issue: >From Formal Semantics 2.4.2 element * of type xs:anyType is a type for any element. Also, in FS 7.2.6 "When applied to an element type whose type annotation denotes a complex type of mixed content, the data on filter returns xs:untypedAtomic." and in XQuery 2.5.2 "If the type annotation is xs:untyped or xs:anySimpleType or denotes a complex type with mixed content (including xs:anyType), then the typed value of the node is equal to its string value, as an instance of xs:untypedAtomic.." Therefore I believe the following three judgements to be correct. -------------------------------------------------------- data on element * of xs:anySimpleType : xs:untypedAtomic -------------------------------------------------- data on element * of xs:untyped : xs:untypedAtomic -------------------------------------------------- data on element * of xs:anyType : xs:untypedAtomic Now, from FS, we know -------------------------------------------- data on element * of xs:integer : xs:integer I find it strange that if element * of xs:integer is a subtype of element * of xs:anyType then data on element * of xs:integer is not a subtype of data on element * of xs:anyType because xs:integer is not a subtype of xs:untypedAtomic. They are related only by the "can be promoted to" judgement.Received on Tuesday, 12 December 2006 17:58:02 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:16 UTC