# Transitive closure

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

Derby 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

- Transitive closure on join clauses
- Transitive Closure on Search Clauses

Parent topic: Internal language transformations
Related concepts
Predicate transformations
View transformations
Subquery processing and transformations
Outer join transformations
Sort avoidance
Aggregate processing