Common Table Expressions

Missing CTE References Are Rejected

Missing CTE references fail closed.

highlighted = computed this step

Missing CTE references are rejected

The body may only reference CTE names that were defined in the same request.

name must exist\text{name must exist}

Read the valid reference

The valid body references ActiveStudents.

defined reference\text{defined reference}

CTE examples are tiny finite-table transforms; recursive CTEs, materialization claims, optimizer behavior, SQL dialect completeness, and database-product claims are out of scope.

Missing CTE references are rejected: base Studentssidnamestatus1Adaactive2Beapaused3Calactive Missing CTE references are rejected: CTE ActiveStudentssidstudent1Ada3Cal Missing CTE references are rejected: body outputsidstudent1Ada3Cal CTE factsfactvaluebaseTableCount1cteCount1cteNames[ActiveStudents]bodyRowCount2bodyColumnCount2referencedCtes[ActiveStudents]rowOrdersource_orderrecursivenomaterializedClaimnot_modeled

Try the missing name

A body that references Missing fails closed. Recursive claims also fail closed in this small model.

missing or recursive rejected\text{missing or recursive rejected}

Summary

The scope is intentionally small: named finite tables only.

finite CTE scope\text{finite CTE scope}