A method and computer system for improving the efficiency of execution of a database
query that includes conditions is disclosed. Satisfiability of the conditions is
analyzed before executing the query. If the conditions are satisfiable, the transitive
closure of the conditions is analyzed and the conditions are modified to meet transitive
closure, if necessary, before executing the query.