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

daniela florescu dflorescu at me.com
Wed Feb 3 13:37:44 PST 2016


Adam,

write me directly and I’ll give you an algorithm that guarantees sufficient conditions for subsumption, given a 
large enough subset of Path.


Best
Dana


> On Jan 28, 2016, at 4:47 AM, Pavel Velikhov <pavel.velikhov at gmail.com> wrote:
> 
> 
>> @Pavel do you mean the link I send before? http://www.w3.org/TR/xquery-semantics <http://www.w3.org/TR/xquery-semantics>
> Yes! That’s it.
> 
>> What would be the difference between a proof and a test, in this case?
> 
> Well, proving a specific case is usually very easy, assuming the proof isn’t too formal. 
> 
> A test is a general procedure. Shouldn’t be that hard, unless we try to prove its correctness 
> (and depending on how formal we want to proof to be).
>> 
>> 2016-01-28 13:35 GMT+01:00 Adam Retter <adam.retter at googlemail.com <mailto: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 <http://www.adamretter.org.uk/>
>> 
>> 
>> 
>> -- 
>> W.S. Hager
>> Lagua Web Solutions
>> http://lagua.nl <http://lagua.nl/>
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://x-query.com/pipermail/talk/attachments/20160203/b5ffe0e9/attachment.html>


More information about the talk mailing list