RE: [xml-dev] XQuery types was Re: [xml-dev] Yet another plea for XUpdate...

At 09:02 PM 5/6/2002 -0700, Dare Obasanjo wrote:
>Please prove this assertion untrue. XML type systems (especially with
>W3C XML Schema) are based on constraints. Constraints are runtime
>issues. Queries like
>
>UPDATE
>   INSERT /person[@age] - 10 INTO /person/@age
>
>where the age attribute is a simpleType restriction of
>xs:positiveInteger with minInclusive = 18 and maxInclusive = 44 cannot
>be verified at compile time no matter how fancy your heuristics are.

But the fact that there are errors you can't catch until runtime does not 
imply that you shouldn't catch other errors before running a program.

Jonathan