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.
<<strong>st</strong>rong>Graph</<strong>st</strong>rong>s and Fact Data Bases<br />
► <<strong>st</strong>rong>Graph</<strong>st</strong>rong>s can also be noted<br />
tex<strong>tu</strong>ally<br />
► <<strong>st</strong>rong>Graph</<strong>st</strong>rong>s consi<strong>st</strong> of no<strong>de</strong>s,<br />
relations<br />
► Relations link no<strong>de</strong>s<br />
isParentOf<br />
Adam<br />
isParentOf<br />
Sibylla<br />
Gu<strong>st</strong>avAdolf<br />
► Fact data bases consi<strong>st</strong> of<br />
con<strong>st</strong>ants (data) and<br />
predicates<br />
► No<strong>de</strong>s of graphs can be<br />
regar<strong>de</strong>d as con<strong>st</strong>ants, edges<br />
as predicates between<br />
con<strong>st</strong>ants (facts):<br />
isParentOf(Adam,Gu<strong>st</strong>avAdolf).<br />
isParentOf(Adam,Sibylla).<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
37