> 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
_______________________________________________
[email protected]
http://x-query.com/mailman/listinfo/talk

Reply via email to