[Bug 4273] [FS] data on element()

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4273





------- Comment #24 from zhen.liu@oracle.com  2008-04-28 23:30 -------
 To make static type analysis sound, fn:data(xs:anyType) has to return
xs:anyAtomicType  instead of xs:untypedAtomic. However doing so will make
optimistic based static typing based on current formal semantic spec
 almost useless for XML documents whose type information is unknown until run
time. That is why optimistic static typing implementation has to rely on users
to explicitly provide the input if the XML documents is untyped or schema based
during query compile time. This is one more argument why optimistic static
typing is much more preferable than that of  pessimestic static typing.

Received on Monday, 28 April 2008 23:31:03 UTC