[xquery-talk] Function for determining one XPath as subset of another
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)?
> > 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
Lagua Web Solutions
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the talk