Re: ORA-XQ-078-B: XQuery should permit partial static typing from Daniela Florescu on 2004-02-17 (public-qt-comments@w3.org from February 2004)

From: Daniela Florescu <danielaf@bea.com>
Date: Mon, 16 Feb 2004 22:06:00 -0800
To: Stephen Buxton <Stephen.Buxton@oracle.com>
Cc: public-qt-comments@w3.org
Message-Id: <5C277E08-610F-11D8-9D91-0003937198F4@bea.com>

Steve,

I agree with this solution in spirit, but I am worried about two things.

1) the proposed text doesn't preclude a correct XQuery implementation 
to raise
random static errors.

2) what does interoperability mean in this new context ?

Best regards,
Dana




>  I think it would be better to say
> "if the Static Typing Feature is not in effect, then it is
> implementation-defined what type errors are detected and raised
> during the static analysis phase, aborting the dynamic evaluation
> phase."
>
> - Steve B.
>

Received on Tuesday, 17 February 2004 01:05:10 UTC