W3C home > Mailing lists > Public > www-ql@w3.org > July to September 2002

RE: [xml-dev] XQuery and DTD/Schema?

From: Jonathan Robie <jonathan.robie@datadirect-technologies.com>
Date: Mon, 08 Jul 2002 10:14:23 -0400
Message-Id: <5.1.0.14.0.20020708100751.07124c58@ncmail.datadirect-technologies.com>
To: "Dare Obasanjo" <dareo@microsoft.com>, "Mike Champion" <mc@xegesis.org>, <xml-dev@lists.xml.org>
Cc: <www-ql@w3.org>

At 05:09 PM 7/6/2002 -0700, Dare Obasanjo wrote:
 > Mike Champion wrote:
> > and I've never heard anyone but Jonathan want the ability to ensure 
> that the results of
> > a query are valid instances of a schema without running them through a 
> validator.

XQuery can't guarantee schema validity completely, because it does not 
model all of XML Schema (eg it does not model identity constraints or 
facets), and because there are cases in which the type information used is 
not specific enough. It *can* catch a large number of common errors.

>That's probably because most people realize that this problem is beyond 
>the ability of computer science to solve and even for decidable cases may 
>be expensive to implement or utilize.

Huh?

No static typing system is complete. However, static typing is very useful, 
and is widespread in working systems. It just makes sense to report errors 
as early as you can, and to use type information for optimization.

Jonathan
Received on Monday, 8 July 2002 10:15:02 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:17:15 UTC