Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases