Erratum to "Reformulating table constraints using functional dependencies--an application to explanation generation"

  • Authors:

  • Hadrien Cambazard;Barry O'Sullivan

  • Affiliations:

  • Cork Constraint Computation Centre, Department of Computer Science, University College Cork, Cork, Ireland;Cork Constraint Computation Centre, Department of Computer Science, University College Cork, Cork, Ireland

  • Venue:
  • Constraints
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

We had claimed that arc-consistency is preserved in a constraint reformulation relying on functional dependencies (Theorem 2 of Cambazard and O'Sullivan Constraints 13(3):385---406 (2008)). We show that the statement of this theorem was too strong by providing a counter-example. However, the result holds for dependencies between pairs of variables, and more generally in restricted settings.