[
Lists Home |
Date Index |
Thread Index
]
I don't understand why you continue to miss my point. My original assertion which started this thread was that the XQuery WG was and is incorrect in stating that a static type system is necessary to add DML semantics to XQuery. The fact of the matter is that regardless of all the complexity you place on implementors (which will probably lead to a "Can anybody implement XQuery?" thread on XML-DEV in 12 months) the fact of the matter is that DML will still require post-update validation in a wide range of cases.
Secondly, if XQuery wasn't so wedded to W3C XML Schema, the W3C wouldn't be forcing users of XQuery to also become users of W3C XML Schema but instead would allow them to use whatever XML schema technology they liked including DTDs and RELAX NG.
-----Original Message-----
From: Jonathan Robie [mailto:jonathan.robie@datadirect-technologies.com]
Sent: Tue 5/7/2002 7:45 AM
To: xml-dev@lists.xml.org
Cc:
Subject: 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
-----------------------------------------------------------------
The xml-dev list is sponsored by XML.org <http://www.xml.org>, an
initiative of OASIS <http://www.oasis-open.org>
The list archives are at http://lists.xml.org/archives/xml-dev/
To subscribe or unsubscribe from this list use the subscription
manager: <http://lists.xml.org/ob/adm.pl>
|
