Cross Joins

Honest by Construction

Expected CROSS JOIN facts are assertions only.

highlighted = computed this step

Honest by construction

Expected CROSS JOIN facts are assertions only.

compiler is source of truth\text{compiler is source of truth}

Render checked rows

The guarded product renders 6 rows after recomputation.

checked rows=6\text{checked rows}=6

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.

Honest by construction: left tablecolorredblue Honest by construction: 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

Try to tamper

Wrong expected facts, derived sidecars, duplicate columns, bools, floats, and unsafe cells fail closed.

tamper rejected\text{tamper rejected}

Summary

This book shows exact finite CROSS JOIN products only.

scoped CROSS JOIN model\text{scoped CROSS JOIN model}