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

DOI10.1007/s10601-008-9042-3zbMath1146.68454OpenAlexW2152126225MaRDI QIDQ941813

Hadrien Cambazard, Barry O'Sullivan

Publication date: 2 September 2008

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-008-9042-3

zbMATH Keywords

Functional dependenciesExplanation generationTable constraints

Mathematics Subject Classification ID

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

Related Items

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

Uses Software

• TANE
• QUICKXPLAIN

Cites Work

• Unnamed Item
• Unnamed Item
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Decomposing constraint satisfaction problems using database techniques
• In pursuit of the Holy Grail
• Generalized Arc Consistency for Positive Table Constraints
• On the Structure of Armstrong Relations for Functional Dependencies
• Tane: An Efficient Algorithm for Discovering Functional and Approximate Dependencies
• Theory and Applications of Satisfiability Testing
• Consistency restoration and explanations in dynamic CSPs---Application to configuration