<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">@Pavel do you mean the link I send before? <a href="http://www.w3.org/TR/xquery-semantics" class="">http://www.w3.org/TR/xquery-semantics</a></div></blockquote><div><br class=""></div>Yes! That’s it.</div><div><br class=""><blockquote type="cite" class=""><div class=""><div dir="ltr" class="">What would be the difference between a proof and a test, in this case?</div></div></blockquote><div><br class=""></div><div>Well, proving a specific case is usually very easy, assuming the proof isn’t too formal. </div><div><br class=""></div><div>A test is a general procedure. Shouldn’t be that hard, unless we try to prove its correctness </div><div>(and depending on how formal we want to proof to be).</div><blockquote type="cite" class=""><div class=""><div class="gmail_extra"><br class=""><div class="gmail_quote">2016-01-28 13:35 GMT+01:00 Adam Retter <span dir="ltr" class=""><<a href="mailto:adam.retter@googlemail.com" target="_blank" class="">adam.retter@googlemail.com</a>></span>:<br class=""><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 class="">
<br class="">
</span>Yes.<br class="">
<span class=""><br class="">
> Or just that one case?<br class="">
<br class="">
</span>No I want to cover any case where the set which would be selected by<br class="">
the path expression is statically known (i.e. no function calls).<br class="">
<div class="HOEnZb"><div class="h5"><br class="">
<br class="">
<br class="">
--<br class="">
Adam Retter<br class="">
<br class="">
skype: adam.retter<br class="">
tweet: adamretter<br class="">
<a href="http://www.adamretter.org.uk/" rel="noreferrer" target="_blank" class="">http://www.adamretter.org.uk</a><br class="">
</div></div></blockquote></div><br class=""><br clear="all" class=""><br class="">-- <br class=""><div class="gmail_signature"><div class=""><p class="">
W.S. Hager<br class="">
Lagua Web Solutions<br class="">
<a href="http://lagua.nl/" target="_blank" class="">http://lagua.nl</a><br class=""></p></div></div>
</div>
</div></blockquote></div><br class=""></body></html>