A candidate pair becomes output when the left key equals the right key and neither key is NULL.
equal non NULL keys
Read matches
The compiler finds 3 matching pairs and emits 3 output rows.
matched rows=3
Self-join examples are tiny finite-table transforms with two aliases of one source table; SQL dialect completeness, type coercion, optimizer behavior, execution cost, indexing, and database-product claims are out of scope.
No hidden matching
The candidate table marks each pair yes or no.
matched flag visible
Summary
The equality check is recomputed from pinned cells.