Sciweavers

APCCM
2008

Constraint Acquisition - You Can Chase but You Cannot Find

14 years 27 days ago
Constraint Acquisition - You Can Chase but You Cannot Find
We identify established tableaux techniques as an invaluable tool for semantic knowledge acquisition in the design process of relational databases. Sample databases allow users and designers to judge, justify, convey and test their understanding of the semantics of the future database. In the case of integrity constraints such sample data can provide considerable assistance for deciding whether a constraint captures desirable information about the database or not. Since constraints can be particularly difficult to grasp in practice sample databases offer a convenient tool to confirm or reject the usefulness of potential candidate constraints. We pinpoint the Chase and analytical tableau as two tableaux techniques that are able to automatically generate sample databases for large classes of integrity constraints. The Chase can be used for generating sample data that allows us to reject candidate constraints. However, analytical tableaux enable us to find all minimal sample databases wh...
Sven Hartmann, Sebastian Link, Thu Trinh
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where APCCM
Authors Sven Hartmann, Sebastian Link, Thu Trinh
Comments (0)