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

Re: XQuery and DTD/Schema?

• To: <xml-dev@l...>
• Subject: Re: XQuery and DTD/Schema?
• From: "Rick Jelliffe" <ricko@a...>
• Date: Thu, 4 Jul 2002 05:38:13 +1000
• References: <8BD7226E07DDFF49AF5EF4030ACE0B7E06621D95@r...>

From: "Dare Obasanjo" <dareo@m...>

> 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. 

Cheers
Rick Jelliffe

• References:
  • RE: XQuery and DTD/Schema?
    • From: "Dare Obasanjo" <dareo@m...>

• Prev by Date: Re: RE: XQuery and DTD/Schema?
• Next by Date: Re: RE: XQuery and DTD/Schema?
• Previous by thread: RE: XQuery and DTD/Schema?
• Next by thread: RE: XQuery and DTD/Schema?
• Index(es):
  • Date
  • Thread