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: