Solution Requirements

• Consistency of constraints

  • Guaranteed by lower-bound form
    • Always possible to solve by mapping all attributes to the top level

• Completeness of constraints

  • Default constraints: l(A) ? ?

Previous slide

Next slide

Back to first slide

View graphic version