Translation: Simple “Solution” (1)

V: [format = vhs] ̃ MV: [kw has vhs]

D: [format = dvd] ̃ MD: [kw has dvd]

V OR D ̃ [type = films] (perfect)

¹ MV OR MD

• one rule per basic constraint

  • 10 constraints, 10 rules

• rewrite a query with translated constraints

• Problem: inter-constraint dependencies

Previous slide

Next slide

Back to first slide

View graphic version