Optimizing the Computation of Overriding