METHOD,SYSTEM, AND PROGRAM FOR QUERY OPTIMIZATION WITH ALGEBRAIC RULES

Disclosed is technique for executing a query. A set of algebraic rules applicable to the query are identified, wherein each of the algebraic rules represents a relationship between two columns in a relational database table. A source column is identified by searching the query for a source predicate, wherein the source predicate is a range predicate. One or more candidate target columns are identified by searching the set of algebraic rules, wherein each of the candidate target columns occurs on one side of a binding expression and the source column occurs on the other side of the binding expression. For each of the one or more candidate target columns, a bounds subquery that provides a lower bound and an upper bound for a new range predicate is derived and the new range predicate is introduced into the query, wherein the query is executed to retrieve data from one or more data stores.