Cross Joins

Pair Grid Source Order

Pairs render in left-source then right-source order.

highlighted = computed this step

Pair grid source order

This finite model lists pairs left source first, then right source.

left source then right source\text{left source then right source}

Read first and last pair

The first pair is left 0 with right 0; the last pair is left 1 with right 2.

deterministic pair order\text{deterministic pair order}

CROSS JOIN examples are tiny finite-table transforms; SQL dialect completeness, type coercion, optimizer behavior, execution cost, indexing, and database-product claims are out of scope.

Pair grid source order: left tablecolorredblue Pair grid source order: right tablesizeSML pair gridleftSourcerightSourceleftValuesrightValuesoutput00[red][S][red, S]01[red][M][red, M]02[red][L][red, L]10[blue][S][blue, S]11[blue][M][blue, M]12[blue][L][blue, L] CROSS JOIN output rowsleft.colorright.sizeredSredMredLblueSblueMblueL CROSS JOIN factsfactvalueleftRowCount2rightRowCount3pairCount6outputRowCount6outputColumnCount2rowOrderleft_source_then_right_sourceemptySideProductno

Order is a model convention

The deterministic display order is for this teaching model.

display convention\text{display convention}

Summary

Stable pair order makes the product visible without client compute.

stable render\text{stable render}