The transitive property of numbers states that if A = B and B = C, then A = C.

applies this property to query predicates to add additional predicates to the query in order to give the optimizer more information. This process is called transitive closure. There are two types of transitive closure:

• Transitive closure on join clauses

  Applied first, if applicable

• Transitive closure on search clauses