Query Containment

• Containment

  • q1 ? q2 iff q1(D) ? q2(D) for every database instance, D

• Equivalence

  • q1 ? q2 iff q1 ? q2 and q2 ? q1

• Satisfiability

  • q is satisfiable if ? D such that q(D) ??

Let q1, q2 be datalog rules

E.g. q1(X) :- p(X) & r(X)

Previous slide

Next slide

Back to first slide

View graphic version