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

DOI10.1007/S10601-009-9081-4zbMATH Open1191.68627OpenAlexW4233526210MaRDI QIDQ2267809FDOQ2267809

Authors: Hadrien Cambazard, Barry O'Sullivan 

Publication date: 2 March 2010

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-009-9081-4

Recommendations

• Reformulating table constraints using functional dependencies-an application to explanation generation
• Constrained dependencies
• Practical reformulations with table constraints
• Tableaux for functional dependencies and independencies
• P. van Beek and R. Dechter's theorem on constraint looseness and local consistency

zbMATH Keywords

constraint satisfactionpropagationreformulationexplanation

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Tane: An Efficient Algorithm for Discovering Functional and Approximate Dependencies
• Reformulating table constraints using functional dependencies-an application to explanation generation

Cited In (2)

• P. van Beek and R. Dechter's theorem on constraint looseness and local consistency
• Reformulating table constraints using functional dependencies-an application to explanation generation

Uses Software

• TANE

This page was built for publication: Erratum to ``Reformulating table constraints using functional dependencies---an application to explanation generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2267809)