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.
Parent<br />
Transitive Closure as Rule Sy<strong>st</strong>em<br />
► Basic rule <strong>de</strong>scendant(V,N) :- isChildOf(V,N).<br />
Parent<br />
► Transitive rule (recursion rule)<br />
► left recursive: <strong>de</strong>scendant(V,N) :- <strong>de</strong>scendant(V,X),isChildOf(X,N).<br />
► right recursive:<strong>de</strong>scendant(V,N) :- isChildOf(V,X), <strong>de</strong>scendant(X,N).<br />
Child<br />
Child<br />
GrandCh<br />
Parent<br />
Parent<br />
Child<br />
Child<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
GrandCh<br />
62