• From: Jonathan Robie <jonathan.robie@r...>
• To: Michael Kay <mike@s...>
• Date: Thu, 27 Mar 2008 11:35:54 -0400

Michael Kay wrote:
> The processor won't detect statically that $x/a/b/c is "impossible" unless
> it knows that $x is an element whose complex type is a statically known type
> T. And if $x is a parameter to a function, you can only achieve that if
> either the element declaration or the type (or both) are global.
>   

Yeah, but that basically means you pass globally declared elements or 
elements with globally declared types as parameters to functions to get 
that kind of static type checking.

For XQuery, that's not usually a big hurdle. Is it for XSLT?

Jonathan

• Follow-Ups:
  • RE: XML Schema Design: no local elements with anonymous types
    • From: "Michael Kay" <mike@s...>

• References:
  • XML Schema Design: no local elements with anonymous types
    • From: "Costello, Roger L." <costello@m...>
  • Re: XML Schema Design: no local elements with anonymoustypes
    • From: Jonathan Robie <jonathan.robie@r...>
  • RE: XML Schema Design: no local elements with anonymous types
    • From: "Michael Kay" <mike@s...>