W3C home > Mailing lists > Public > public-qt-comments@w3.org > December 2006

[Bug 4046] ForExprType049 - ForExprType053

From: <bugzilla@wiggum.w3.org>
Date: Tue, 12 Dec 2006 17:57:45 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GuBsv-0007re-KB@wiggum.w3.org>

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