Suppose that the EDB predicate edge(X,Y) consists of the following facts: a) Simulate the Datalog program of Example 12.12 on this data, using the simple evaluation strategy of Algorithm...

Suppose that the EDB predicate edge(X,Y) consists of the following facts:




a) Simulate the Datalog program of Example 12.12 on this data, using the simple evaluation strategy of Algorithm 12.15. Show the path facts discovered at each round.


b) Simulate the Datalog program of Fig. 12.17 on this data, as part of the incremental evaluation strategy of Algorithm 12.18. Show the path facts discovered at each round.

Example 12.12

Fig. 12.17

Algorithm 12.15

Algorithm 12.18