How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...

Searching is Easy With Datalog
# A SMPP problem (single source, multiple target)
descendant(Adam,X)?
X={ Silvia, Carl-Gustav, Vic<strong>to</strong>ria, ....}
# An MSPP problem (multiple source, single target)
ascendant(Silvia,X)?
X={Walter, Adam}
# An MMPP problem (multiple source, multiple target)
ascendant(X,Y)?
{X=Walter, Y={Adam}
X=Vic<strong>to</strong>ria, Y={CarlGustav, Silvia, Sibylla, ...}
...}
Y = Adam, Walter, ...
# Vic<strong>to</strong>ria, Madeleine, CarlPhilip not in the set
Prof. Uwe Aßmann, Softwaretechnologie II
52