@Pavel do you mean the link I send before? http://www.w3.org/TR/xquery-semantics
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.ret...@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 > -- W.S. Hager Lagua Web Solutions http://lagua.nl
_______________________________________________ talk@x-query.com http://x-query.com/mailman/listinfo/talk