The body can join a base table with the CTE result.
highlighted = computed this step
Join the body with the CTE
The body can join a base table to the named CTE result.
base table join CTE
Read the joined output
The body references ActiveStudents and produces 3 joined rows.
joined rows=3
CTE examples are tiny finite-table transforms; recursive CTEs, materialization claims, optimizer behavior, SQL dialect completeness, and database-product claims are out of scope.
Source order
Rows follow the finite source order: score rows first, then matching CTE rows.
source order
Summary
The CTE makes the body query easier to read, but the output is still recomputed.