[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

RE: XQuery types was Re: Yet another plea for XUpd

• To: <xml-dev@l...>
• Subject: RE: XQuery types was Re: Yet another plea for XUpdate...
• From: Jonathan Robie <jonathan.robie@d...>
• Date: Tue, 07 May 2002 07:45:22 -0700
• In-reply-to: <8BD7226E07DDFF49AF5EF4030ACE0B7E05573D1B@r...>

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

• Follow-Ups:
  • RE: XQuery types was Re: Yet another plea for XUpdate...
    • From: Bill de hÓra <dehora@e...>

• References:
  • RE: XQuery types was Re: Yet another plea for XUpdate...
    • From: "Dare Obasanjo" <dareo@m...>

• Prev by Date: Re: XPath 1.5? (was RE: typing and markup)
• Next by Date: RE: XPath 1.5? (was RE: typing and markup)
• Previous by thread: Re: XQuery types was Re: Yet another plea for XUpdate...
• Next by thread: RE: XQuery types was Re: Yet another plea for XUpdate...
• Index(es):
  • Date
  • Thread