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

W.S. Hager wshager at gmail.com
Thu Jan 28 04:37:31 PST 2016

@Pavel do you mean the link I send before?

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://x-query.com/pipermail/talk/attachments/20160128/9f3b404f/attachment.html>

More information about the talk mailing list