Name
Abstract | ||
|---|---|---|
We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i.e., to describe the possible ways of restoring its consistency. We do so by what we call signed formulae, and show how the `signed theory' that is obtained can be used by a variety of off-the-shelf computational models in order to compute the corresponding solutions, i.e., consistent repairs of the database. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/s10472-005-9012-z | Ann. Math. Artif. Intell. |
Keywords | DocType | Volume |
database repairing,signed formulae,ASP/CLP/SAT/QBF-solvers,knowledge representation and reasoning,68P15,68T30,62T37,68U35 | Journal | 46 |
Issue | ISSN | Citations |
1-2 | 1012-2443 | 12 |
PageRank | References | Authors |
0.55 | 55 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ofer Arieli | 1 | 705 | 51.54 |
| Marc Denecker | 2 | 1626 | 106.40 |
| Bert Van Nuffelen | 3 | 189 | 12.33 |
| Maurice Bruynooghe | 4 | 2767 | 226.05 |