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

RE: XQuery types was Re: Yet another plea for XUpd

• To: "'Jonathan Robie'" <jonathan.robie@d...>,"'Uche Ogbuji'" <uche.ogbuji@f...>
• Subject: RE: XQuery types was Re: Yet another plea for XUpdate...
• From: "Michael Kay" <michael.h.kay@n...>
• Date: Mon, 6 May 2002 21:48:02 +0100
• Cc: "'Dare Obasanjo'" <kpako@y...>,"'Jonathan Borden'" <jborden@a...>,<xml-dev@l...>
• Importance: Normal
• In-reply-to: <5.1.0.14.0.20020506122746.03d84eb8@n...>
• Reply-to: <michael.h.kay@n...>

> The strong static typing may tell me, for instance, that a
> query is invalid
> because you can't multiply an integer times a URL

And what's more, it doesn't only tell you that the query is invalid: it can
give you information that enables the query to be optimized. To take an
example, consider the filter expression $a[expr]. This expression is
polymorphic - it has a different meaning depending on whether expr has a
boolean value or a numeric value, and the optimization opportunities are
very different for the two cases. If you know statically which case applies,
you can do much more effective optimization.

In fact, XPath 1.0 processors are likely to do this kind of static analysis,
even though the XPath 1.0 specification has no type system or formal
semantics worthy of the name. What the XQuery (=XPath 2.0) specification
does is to make this all explicit.

Michael Kay
Software AG
home: Michael.H.Kay@n...
work: Michael.Kay@s...

• Follow-Ups:
  • Re: XQuery types was Re: Yet another plea for XUpdate...
    • From: Uche Ogbuji <uche.ogbuji@f...>

• References:
  • Re: XQuery types was Re: Yet another plea for XUpdate...
    • From: Jonathan Robie <jonathan.robie@d...>

• Prev by Date: Re: Call for example of server enabled for XML multiple representations
• Next by Date: Re: Call for example of server enabled for XML multiple representations
• Previous by thread: Re: XQuery types was Re: Yet another plea for XUpdate...
• Next by thread: Re: XQuery types was Re: Yet another plea for XUpdate...
• Index(es):
  • Date
  • Thread