[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 XUpdat

• To: xml-dev@l...
• Subject: Re: XQuery types was Re: Yet another plea for XUpdate...
• From: Joe English <jenglish@f...>
• Date: Tue, 07 May 2002 14:35:47 -0700
• In-reply-to: <5.1.0.14.0.20020507140746.028bb378@n...>
• References: <5.1.0.14.0.20020507140746.028bb378@n...> <5.1.0.14.0.20020507112656.04df0cc0@n...>

Jonathan Robie wrote:
>
> As you point out, static typing can definitely improve runtime performance.
> Consider comparisons. In XQuery, $a = $b can mean a lot of things. If you
> know both are singleton integers, you can just do an integer compare. If $b
> is a sequence, you have to do existential quantification. If both are
> strings, you need a string compare. The static type system can rewrite the
> query to do the appropriate compare without needing to examine the data.
> Without it, you have to pick your way through the data and use conditional
> logic to figure out which comparison to use.

You have been asking for concrete examples where XQuery's
type system imposes an additional cost on users.  I think
the above counts as such an example.

If there is no efficient way to implement '=' without static
type analysis, and static type analysis requires a W3C XML Schema
as an input (which is my interpretation of [XQuery] section 3.1,
please correct me if I'm wrong), then anybody who uses '=' has
to pay, either by decreased efficiency or by having to use a W3C
XML Schema.


--Joe English

  jenglish@f...

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

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

• Prev by Date: RE: Multibyte output
• Next by Date: Re: XQuery types was Re: Yet another plea for XUpdate...
• Previous by thread: Re: OT: Static/dynamic typing
• Next by thread: Re: XQuery types was Re: Yet another plea for XUpdate...
• Index(es):
  • Date
  • Thread