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

[W.S. Hager]

This is the best I (actually Google) can do.

Proof:
https://coq.inria.fr/library/Coq.MSets.MSetGenTree.html

Test:

http://www.geeksforgeeks.org/check-if-a-binary-tree-is-subtree-of-another-binary-tree/

At some point I'll look into this myself, it's a nice challenge.

donderdag 28 januari 2016 heeft Pavel Velikhov <pavel.velikhov at gmail.com>
het volgende geschreven:

> Hmm.. testing subsumption is not as trivial as I thought. Here's a cleaner
> way to do it: represent both path expressions as DFAs and then test
> subsumption. You'll get DFAs A and B and then test if minimized(B-A) is
> empty.
>


-- 

W.S. Hager
Lagua Web Solutions
http://lagua.nl
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://x-query.com/pipermail/talk/attachments/20160129/10af8b40/attachment.html>