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

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





------- Comment #16 from jmdyck@ibiblio.org  2007-10-23 08:13 -------
I agree that Static Type Analysis (as defined in the FS) is unsound, due to the
static typing rules for fn:data().

I'm not convinced that there's a problem in the dynamic semantics, as suggested
in Comment #8.

Re Comment #14: The statements in the XDM and XQuery specs about typed value
specify the run-time behaviour of fn:data (operating on XDM values), whereas
the "data on" judgment is (roughly speaking) the compile-time analog (operating
on types). We can change the latter without changing the former.

Specifically, if we change the "complex type of mixed content" case of 'data
on' so that the inferred static type is xs:anyAtomicType*, then I think the
static typing rules for fn:data() would be sound, and wouldn't conflict with
the existing specifications of the dynamic behaviour of fn:data(). However,
static type analysis would reject more queries than currently.

Received on Tuesday, 23 October 2007 08:14:01 UTC