@@ -8770,7 +8770,7 @@ <h5>Grouping and Aggregation</h5>
8770
8770
8771
8771
If Q contains GROUP BY exprlist
8772
8772
Let G := Group(exprlist, ToList(P))
8773
- Else If Q contains an aggregate in SELECT, HAVING, ORDER BY
8773
+ Else If Q contains an aggregate in <code> SELECT</code>, <code> HAVING</code>, <code> ORDER BY</code>
8774
8774
Let G := Group((1), ToList(P))
8775
8775
Else
8776
8776
skip the rest of the aggregate step
@@ -9456,8 +9456,8 @@ <h4>Aggregate Algebra</h4>
9456
9456
key<sub>m</sub>→Ψ<sub>m</sub> } }</p>
9457
9457
<p>where<br>
9458
9458
M(Ψ) = [ ListEval(exprlist, μ) | μ in Ψ ]<br>
9459
- F(Ψ) = func(M(Ψ), scalarvals), for non-DISTINCT<br>
9460
- F(Ψ) = func(Distinct(M(Ψ)), scalarvals), for DISTINCT</p>
9459
+ F(Ψ) = func(M(Ψ), scalarvals), for non-<code> DISTINCT</code> <br>
9460
+ F(Ψ) = func(Distinct(M(Ψ)), scalarvals), for <code> DISTINCT</code> </p>
9461
9461
<p><b>Special Case:</b> when <code>COUNT</code> is used with the expression
9462
9462
<code>*</code> the value of F will be the cardinality of the group solution sequence,
9463
9463
<code>card[Ψ]</code>, or <code>card[Distinct(Ψ)]</code> if the <code>DISTINCT</code>
0 commit comments