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: