- From: Jonathan Robie <jonathan.robie@datadirect-technologies.com>
- Date: Mon, 08 Jul 2002 10:14:23 -0400
- 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