Concistency Check Before Delta Propagation