View-Based Rewriting Algorithms For Conjunctive Queries With Arithmetic Comparisons