Analytic Tableaux and Database Repairs : Foundations - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Analytic Tableaux and Database Repairs : Foundations

Résumé

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 wrt the integrity constraints.

Mots clés

Dates et versions

halshs-00269849 , version 1 (03-04-2008)

Identifiants

Citer

Leopoldo Bertossi, Camilla Schwind. Analytic Tableaux and Database Repairs : Foundations. Second International Symposium on Foundations of Information and Knowledge Systems, 2002, United Kingdom. pp.32-48, ⟨10.1007/3-540-45758-5⟩. ⟨halshs-00269849⟩
43 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More