<div dir="ltr"><div>@Pavel do you mean the link I send before? <a href="http://www.w3.org/TR/xquery-semantics">http://www.w3.org/TR/xquery-semantics</a><br><br></div>What would be the difference between a proof and a test, in this case?</div><div class="gmail_extra"><br><div class="gmail_quote">2016-01-28 13:35 GMT+01:00 Adam Retter <span dir="ltr"><<a href="mailto:adam.retter@googlemail.com" target="_blank">adam.retter@googlemail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">> So you need an algorithm to test subsumption of path expressions (with the given limitations)?<br>
<br>
</span>Yes.<br>
<span class=""><br>
> Or just that one case?<br>
<br>
</span>No I want to cover any case where the set which would be selected by<br>
the path expression is statically known (i.e. no function calls).<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
<br>
--<br>
Adam Retter<br>
<br>
skype: adam.retter<br>
tweet: adamretter<br>
<a href="http://www.adamretter.org.uk" rel="noreferrer" target="_blank">http://www.adamretter.org.uk</a><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature"><div>
<p> 
W.S. Hager<br>
Lagua Web Solutions<br>
<a href="http://lagua.nl/" target="_blank">http://lagua.nl</a><br></p></div></div>
</div>