[xquery-talk] Function for determining one XPath as subset of another

[W.S. Hager]

@Pavel do you mean the link I send before?
http://www.w3.org/TR/xquery-semantics

What would be the difference between a proof and a test, in this case?

2016-01-28 13:35 GMT+01:00 Adam Retter <adam.retter at googlemail.com>:

> > So you need an algorithm to test subsumption of path expressions (with
> the given limitations)?
>
> Yes.
>
> > Or just that one case?
>
> No I want to cover any case where the set which would be selected by
> the path expression is statically known (i.e. no function calls).
>
>
>
> --
> Adam Retter
>
> skype: adam.retter
> tweet: adamretter
> http://www.adamretter.org.uk
>



-- 

W.S. Hager
Lagua Web Solutions
http://lagua.nl
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://x-query.com/pipermail/talk/attachments/20160128/9f3b404f/attachment.html>