OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



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

[ Lists Home | Date Index | Thread Index ]

From: "Dare Obasanjo" <dareo@microsoft.com>

> Type inference can be ridiculously expensive and in some cases
> undecidable for complex types. Named typing and enforcing explicit casts
> by users via operations such as validate() are the best option in
> creating something reasonably implementable and understandable. Of
> course, these things are only issues because XQuery is supposed to be
> "statically typed"

Is inferencing always that difficult? 

If we assume DTDs, then we have both a kind of Unique Particle
Attribute rule and no local elements or equivalents. If the DTDs were 
namespace aware and allowed declarations of the WXS builtin datatypes, it seems
pretty trivial to annotate a query with the correct casts. 

If we have local elements, then the path in a query would have
to also be augmented with enough of a path to ensure locality,
and other definitions of the same element name would have
to be similarly augmented so they exclude the local element.

Presumably XQuery expects the Unique Particle Attribute rule,
then presumably it just means that the intersection of 
ambiguous elements in RELAX would have to be used. 

Rick Jelliffe


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS