@inbook{308ba5dd44f944b6810dc6e050780542,
title = "A logical formalisation of the Fellegi-Holt method of data cleaning",
abstract = "The Fellegi-Holt method automatically {"}corrects{"} data that fail some predefined requirements. Computer implementations of the method were used in many national statistics agencies but are less used now because they are slow. We recast the method in prepositional logic, and show that many of its results are well-known results in prepositional logic. In particular we show that the Fellegi-Holt method of {"}edit generation{"} is essentially the same as a technique for automating logical deduction called resolution. Since modern implementations of resolution are capable of handling large problems efficiently, they might lead to more efficient implementations of the Fellegi-Holt method.",
author = "Agnes Boskovitz and Rajeev Gor{\'e} and Markus Hegland",
year = "2003",
doi = "10.1007/978-3-540-45231-7_51",
language = "English",
isbn = "3540408134",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "554--565",
editor = "Berthold, {Michael R.} and Hans-Joachim Lenz and Elizabeth Bradley and Rudolf Kruse and Christian Borgelt",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
}