[Bug 5632] [UPD] Update primitives should be error-free

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





------- Comment #1 from zhen.liu@oracle.com  2008-04-15 17:19 -------
These are the comments collected from the "XML Query/XSL WG Joint
Teleconference 363 Agenda 2008-04-15"
(1) In xquery update facility, the snapshot for application of update is the
top level expression, not individual expressions smaller than the top level
expression. Therefore, one can not use try/catch (with the current 1.1
try/catch proposals) to catch errors from applicatin of PUL other than the top
level expression. For example, if you have a comma expression, each child of a
comma expression is a try-catch on an updating expression, the try-catch can
not catch errors from the applications of PUL.
(2) Implementations is free to do optimizations by detecting potential errors
from application of PUL early on. However, it should do so as if the
application of PUL were done when the top level expression snapshot ended.
Otherwise, the optimization is not correct. Performing all the consistency
checks on the PUL before applying any updates is an optimization issue, not
spec issue.

Received on Tuesday, 15 April 2008 17:19:55 UTC