Expand description
EXISTS / NOT EXISTS lowered to a semi / anti join.
The inner query becomes the build side. Each AND-ed equality that links an outer relation to an inner one becomes a probe key; every other conjunct stays a local predicate on the inner scan.