Integrity constraint checking optimization based on abstract databases generation and program analysis