Found at “The Case of a Curious SQL Query • Buttondown” on 2023-10-26 00:22:14 +02:00.

predicate pushdown is a well-known optimization which says that if I have a predicate on an inner join that only references columns from one of its arms, I can push it down into one of those arms and reduce the size of the data I have to join