Computing source-complete plans
- Invert the source descriptions
- Plans for individual world relations
- Concatenate the query and the source inversion rules
- A datalog program which when executed will
return all accessible tuples
movie-hut(X, Y) -> title-time(X, Y), title-actor(X, Z)
title-time(X, Y) :- movie-hut(X, Y,Z)
house-of-movies($X, Y) -> title-time(X, Y), title-actor(X, Z)
title-time(X, Y) :- dom(X) , movie-hut(X, Y, Z)