Combining Quantitative and Logical Data Cleaning
Reasoning about Record Matching Rules