Integrity constraint checking optimization based on abstract interpretation