A Plan to Solve the Query

IMDBActor($Actor, M) ? actor-in(M, Part, Actor)

Spot($M, Rev, Y) ? review-of(M, Rev) &

year-of(M, Y)

Sidewalk($C, M, Th) ? shows-in(M, C, Th)

• How verify plan answers query?

• How find this solution?

query(M, R, Brando, Seattle) ? actor-in(M, Part, brando) &

shows-in(M, seattle, T) &

review-of(M, R)

plan(M, R, Brando, Seattle) ? IMDBActor(brando, M) &

Sidewalk(seattle, M, Th) &

Spot(M, Rev, Y)

Previous slide

Next slide

Back to first slide

View graphic version