clarifies that the ToList operator needs to be applied before applyin…

…g the solution modifiers; see #136 (comment)
w3c · Feb 22, 2024 · ea40eea · ea40eea
1 parent b1c5df0
commit ea40eea
Showing 1 changed file with 16 additions and 8 deletions.
diff --git a/spec/index.html b/spec/index.html
@@ -8997,8 +8997,22 @@ <h5>SELECT Expressions</h5>
         </section>
         <section id="convertSolMod">
           <h4>Converting Solution Modifiers</h4>
-          <p>Solutions modifiers apply to the processing of a SPARQL query after pattern matching.
-            The solution modifiers are applied to a query in the following order:</p>
+          <p>Solutions modifiers apply to the processing of a SPARQL query after pattern matching.</p>
+          <p>However, since the solutions modifiers operate on sequences
+            of solution mappings, the query result produced up to this
+            point is first turned from a multiset of solution mappings
+            into such a sequence. While there is no implied ordering to
+            this sequence, and duplicates need not be adjacent, the sequence
+            is identical to the multiset in terms of the elements that it
+            contains, and their multiplicities. To apply this conversion
+            from a multiset into a sequence, the algorithm for capturing
+            the solution modifiers in the algebra expression begins with
+            the following step, where <var>Pattern</var> is the algebra
+            expression produced by the algorithm in the previous section.</p>
+          <blockquote>
+            <p>Let M := ToList(<var>Pattern</var>)</p>
+          </blockquote>
+          <p>Now, the solution modifiers are applied in the following order:</p>
           <ul>
             <li>Order by</li>
             <li>Projection</li>
@@ -9007,12 +9021,6 @@ <h4>Converting Solution Modifiers</h4>
             <li>Offset</li>
             <li>Limit</li>
           </ul>
-          <p>Step: ToList</p>
-          <p>ToList turns a multiset into a sequence with the same elements and multiplicities. There is
-            no implied ordering to the sequence; duplicates need not be adjacent.</p>
-          <blockquote>
-            <p>Let M := ToList(Pattern)</p>
-          </blockquote>
           <section id="sparqlOrderBy">
             <h5>ORDER BY</h5>
             <p>If the query string has an ORDER BY clause</p>