18
Semantics 2: Inflationary Datalog
•We know what this is…
•Find all pairs x, y that are not connected:

T(x,y) :- R(x,y)
T(x,y) :- R(x,z), T(z,y)
oldT(x,y) :- T(x,y)
oldTexceptFinalT(x,y) :- T(x,y), R(x’,z’),T(z’,y’), :T(x’,y’)
Answ(x,y) :- :T(x,y), oldT(x’,y’), :oldTexceptFinalT(x’,y’)