Constraint Acquisition - You Can Chase but You Cannot Find

Hartmann, S., Link, S. and Trinh, T.

    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 which enable us to either accept or reject a candidate constraint.
Cite as: Hartmann, S., Link, S. and Trinh, T. (2008). Constraint Acquisition - You Can Chase but You Cannot Find. In Proc. Fifth Asia-Pacific Conference on Conceptual Modelling (APCCM 2008), Wollongong, NSW, Australia. CRPIT, 79. Hinze, A. and Kirchberg, M., Eds. ACS. 59-68.
pdf (from crpit.com) pdf (local if available) BibTeX EndNote GS