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...

• Type: Conference
• Year: 2008
• Where: APCCM
• Authors: Sven Hartmann, Sebastian Link, Thu Trinh
• Keywords: APCCM 2008, Candidate Constraint, Integrity Constraints, Knowledge Management, Sample Databases