Re: [Qexo-general] problem with same queries

[Per Bothner]

Daniele Menotti wrote:

> I have a problem whith the following two queries. I need to execute them 
> with qexo for my thesis but they don't run.
> How can I do?
> I suppose the problem is about the use of same and exists, isn't it?

Yes.

Both should be easy enough to implement (I just haven't gotten around
to it), as they can be easily expressed by re-writing:
  exists(x)
is equivalent to:
  not(empty(x))
and
  some $x in exp satisfies pred
is equivalent to:
  exists(for $x in exp return (if (pred) then $x else ()))
--
        --Per Bothner
address@hidden   http://per.bothner.com/