Handbook of Data Quality
Logic for improving integrity checking in relational data bases⋆