Skip to main content
SpringerLink
Log in

Erratum to “Reformulating table constraints using functional dependencies—an application to explanation generation”

  • Published:
Constraints Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bessière, C., & Régin, J.-C. (1997). Arc consistency for general constraint networks: Preliminary results. In IJCAI (1) (pp. 398–404).

  2. Cambazard, H., & O’Sullivan, B. (2008). Reformulating table constraints using functional dependencies - An application to explanation generation. Constraints, 13(3), 385–406.

    Article  MATH  MathSciNet  Google Scholar 

  3. Huhtala, Y., Kärkkäinen, J., Porkka, P., & Toivonen, H. (1999). Tane: An efficient algorithm for discovering functional and approximate dependencies. Computer Journalen, 42(2), 100–111.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Cork Constraint Computation Centre, Department of Computer Science, University College Cork, Cork, Ireland

    Hadrien Cambazard & Barry O’Sullivan

Authors
  1. Hadrien Cambazard
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Barry O’Sullivan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Barry O’Sullivan.

Additional information

This work is supported by Science Foundation Ireland (Grant Number 05/IN/I886).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cambazard, H., O’Sullivan, B. Erratum to “Reformulating table constraints using functional dependencies—an application to explanation generation”. Constraints 15, 145–147 (2010). https://doi.org/10.1007/s10601-009-9081-4

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10601-009-9081-4

Keywords

Search

Navigation