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

RE: XQuery and DTD/Schema?


RE:  XQuery and DTD/Schema?
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


PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
Email
First Name
Last Name
Company
Subscribe in XML format
RSS 2.0
Atom 0.3
 

Stylus Studio has published XML-DEV in RSS and ATOM formats, enabling users to easily subcribe to the list from their preferred news reader application.


Stylus Studio Sponsored Links are added links designed to provide related and additional information to the visitors of this website. they were not included by the author in the initial post. To view the content without the Sponsor Links please click here.

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.