Name
Abstract | ||
|---|---|---|
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf applications for efficiently computing the corresponding solutions. Given a possibly inconsistent database, we represent the possible ways to restore its consistency in terms of signed formulae. Then we show how the 'signed theory' that is obtained can be used by a variety of computational models for processing quantified Boolean formulae, or by constraint logic program solvers, in order to rapidly and efficiently compute desired solutions, i.e., consistent repairs of the database. |
Year | DOI | Venue |
|---|---|---|
2004 | 10.1007/978-3-540-24627-5_3 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
computer model | Atomic formula,Boolean circuit,Computer science,Theoretical computer science,Data integrity,True quantified Boolean formula,Boolean expression,Database | Conference |
Volume | ISSN | Citations |
2942 | 0302-9743 | 18 |
PageRank | References | Authors |
0.75 | 26 | 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 |