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