How verify this plan answers query?

1. Verify information content of plan
2. Verifying binding pattern constraints

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)

plan(M, R, brando, seattle) ? IMDBActor(b, M) &

Sidewalk(s, M, Th) &

Spot(M, R, Y)

Previous slide

Next slide

Back to first slide

View graphic version