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

DOI10.1007/S10601-008-9042-3MaRDI QIDQ941813zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Erratum to ``Reformulating table constraints using functional dependencies---an application to explanation generation
• Practical reformulations with table constraints
• Constrained dependencies
• Tableaux for functional dependencies and independencies
• scientific article; zbMATH DE number 1696849

Cites work

• scientific article; zbMATH DE number 1728564 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• A theory of diagnosis from first principles
• Consistency restoration and explanations in dynamic CSPs---Application to configuration
• Decomposing constraint satisfaction problems using database techniques
• Diagnosing multiple faults
• Generalized Arc Consistency for Positive Table Constraints
• In pursuit of the Holy Grail
• 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

Cited in

(3)

• On completing tables to satisfy functional dependencies
• Erratum to ``Reformulating table constraints using functional dependencies---an application to explanation generation
• Practical reformulations with table constraints

Describes a project that uses

Uses Software

• QUICKXPLAIN
• TANE

This page was built for publication: 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 Q941813)