aboutsummaryrefslogtreecommitdiffstats
path: root/docs/design
diff options
context:
space:
mode:
authoreunhhu <[email protected]>2026-09-28 00:20:49 +0100
committereunhhu <[email protected]>2026-09-28 00:20:49 +0100
commit32b16a23a7ca7080b32a2948cd7518053125dac9 (patch)
tree2a5f2b6a9aa803dfa1e1af27b874ad0afeeedd9a /docs/design
parentd03092f8dc3efe2231c817031be0a744ac6e60e1 (diff)
downloadaup-32b16a23a7ca7080b32a2948cd7518053125dac9.tar.gz
aup-32b16a23a7ca7080b32a2948cd7518053125dac9.zip
Let a fold in a column read the column's row
A count, sum, max or min inside a table's column may now name the row the column is evaluated for: per branch, the sum of its accounts (sum(a.balance for a in accounts where a.bid == b.bid)), or per account, how many are richer. The column's row inside the fold compiles to OUTER_ROW, which Pure's verifier accepts only in a fold that runs in a column; the fold's own item stays ROW. This is a correlated subquery, the form SQL writes GROUP BY and self-joins with.
Diffstat (limited to 'docs/design')
0 files changed, 0 insertions, 0 deletions