Computing Containment

• To show q1 contains q2

• Search ...

  • Space of possible containment mappings
  • Incrementally verify: ? literals L ? body(q1),
    • ? literal L’ ? body(q2) such that f(L)=L’

• NP-complete for pure conjunctive queries

• “Works” for unions of conjunctive queries

Previous slide

Next slide

Back to first slide

View graphic version