摘要 |
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.
|