Global Optimization and Parallelization of Integrity Constraint Checks