Computer Science – Databases
Scientific paper
2002-11-29
Computer Science
Databases
Extended version of paper appeared in Proc. FOIKS02. Submitted by invitation to AMAI journal. Uses packages: llncs.cls, amssym
Scientific paper
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.
Bertossi Leopoldo
Schwind Camilla
No associations
LandOfFree
Database Repairs and Analytic Tableaux does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Database Repairs and Analytic Tableaux, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Database Repairs and Analytic Tableaux will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-91583