Database Repairs and Analytic Tableaux |
| |
| Authors: | Leopoldo Bertossi Camilla Schwind |
| |
| Affiliation: | (1) School of Computer Science, Carleton University, Ottawa, Canada, K1S 5B6;(2) MAP–CNRS, Ecole d'architecture de Marseille, 183, Avenue de Luminy, 13288 Marseille, Cedex 9, France |
| |
| Abstract: | In this article, we characterize in terms of analytic tableaux the repairs of inconsistent relational databases, that is databases that do not satisfy a given set of integrity constraints. For this purpose we provide closing and opening criteria for branches in tableaux that are built for database instances and their integrity constraints. We use the tableaux based characterization as a basis for consistent query answering, that is for retrieving from the database answers to queries that are consistent with respect to the integrity constraints. |
| |
| Keywords: | databases queries integrity constraints analytic tableaux |
| 本文献已被 SpringerLink 等数据库收录！ |
|
