Reformulating table constraints using functional dependencies-an application to explanation generation
type: Item
instance of: scholarly article
title: Reformulating table constraints using functional dependencies-an application to explanation generation
zbMATH Open document ID: 1146.68454
author: Hadrien Cambazard
author: Barry O'Sullivan
published in: Constraints
publication date: 2008-09-02T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 5319291
zbMATH Keywords: Table constraints
zbMATH Keywords: Functional dependencies
zbMATH Keywords: Explanation generation
describes a project that uses: TANE
describes a project that uses: QUICKXPLAIN
MaRDI profile type: Publication
full work available at URL: s10601-008-9042-3
OpenAlex ID: W2152126225
cites work: Consistency restoration and explanations in dynamic CSPs---Application to configuration
cites work: On the Structure of Armstrong Relations for Functional Dependencies
cites work: Diagnosing multiple faults
cites work: In pursuit of the Holy Grail
cites work: Q4198056
cites work: Decomposing constraint satisfaction problems using database techniques
cites work: Tane: An Efficient Algorithm for Discovering Functional and Approximate Dependencies
cites work: Q2779853
cites work: Generalized Arc Consistency for Positive Table Constraints
cites work: Theory and Applications of Satisfiability Testing
cites work: A theory of diagnosis from first principles
DOI: 10.1007/S10601-008-9042-3
description: scientific article; zbMATH DE number 5319291