[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