Concepedia

Computational methods for database repair by signed formulae*

Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe

Annals of Mathematics and Artificial Intelligence · 2006 · 15 citations · 37 references

Open access

Concepts

ComputingComputer ScienceComputer SystemsFault-tolerant ComputingFault-tolerant SystemsTheory Of ComputationDatabase ManagementDeductive VerificationEquivalence CheckingError DetectionQuery ProcessingRelational AlgebraAutomatic Error RepairData RepairEfficient RepairRepair Verification Procedures

References

37

A survey of approaches to automatic schema matching

Erhard Rahm, Philip A. Bernstein · The VLDB Journal · 2001 · 3.3K citations · Full text

Computing, Computer Science, Information Systems +12

On the logic of theory change: Partial meet contraction and revision functions

Carlos E. Alchourrón, Peter Gärdenfors, David Makinson · Journal of Symbolic Logic · 1985 · 3.2K citations

Natural Sciences, Mathematics, Contract Theory +6

Matthew W. Moskewicz, Conor Madigan, Ying Zhao et al. · 2001 · 2.9K citations

Computing, Computer Science, Algorithms +12

Consistent query answers in inconsistent databases

Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki · 1999 · 887 citations · Full text

Computing, Computer Science, Computer Systems +10

Information integration using logical views

Jeffrey D. Ullman · Theoretical Computer Science · 2000 · 827 citations

Computing, Information Systems, Information Technology +14