Answering queries using views with arithmetic comparisons