How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Transitive Closure and Several Relations<br />
► Transitive closure works on one relation<br />
► If we want <<strong>st</strong>rong>to</<strong>st</strong>rong> know, whether a certain no<strong>de</strong> is reachable un<strong>de</strong>r<br />
several relations<br />
■ Compute transitive closure on all of them<br />
■ Te<strong>st</strong> neighborship directly<br />
► This <strong>de</strong>livers an implementation of the exi<strong>st</strong>ential quantifier for logic<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
68