Add 'row in scope' approach

Author: afs

spec/index.html

@@ -10429,7 +10429,7 @@ <h3>Evaluation Semantics</h3>
           <section>
             <h3>Values Insertion and `EXISTS`</h3>
             <div class="ednote">
-            <p>The following subsections contain draft of material for a revised
+            <p>The following subsections contain draft material for a revised
               "`exists`" operation.
             </p>
             <p>
@@ -10458,10 +10458,15 @@ <h4>Syntax Restriction</h4>
                   </tr>
                 </tbody>
               </table>
-              <p class="note">
-                This restriction means that <a href="#defn_valuesinsertion">values inserted</a>
-                do not conflict with values assigned to variables within the pattern.
-              </p>
+              <div class="note">
+                <p>
+                  This restriction means that <a href="#defn_valuesinsertion">values inserted</a>
+                  do not conflict with values assigned to variables within the pattern.
+                </p>
+                <p>
+                  This operation is performed as part of query parsing.
+                </p>
+              </div>
             </section>
             <section>
               <h4>Remapping</h4>
@@ -10514,39 +10519,88 @@ <h4>Remapping</h4>
                 Replacements may happen several times, depending on recursive order
                 but each time a replacement is made, the variable not used anywhere else.
               </p>
-        
-              <p class="note">
-                A variable inside a project expression that is not in the variables projected
-                is not affected by the values insertion operation because it is renamed apart.
-              </p>
+
+              <div class="note">
+                <p>
+                  A variable inside a project expression that is not in the variables projected
+                  is not affected by the values insertion operation because it is renamed apart.
+                </p>
+                <p>
+                  This operation is as part of the <a href="#sparqlQuery">translation to the SPARQL
+                  algebra</a>.
+                </p>
+              </div>
             </section>
             <section>
               <h4>Values Insertion</h4>
+              <p>
+                Alternative 1: rewrite the algebra during 
+                <a href="#sparqlQuery">translation to the SPARQL algebra</a>
+                to include a function that evaluates to the current row.
+              </p>
+
               <div class="defn">
                 <div>
-                  <b>Definition: <span id="defn_valuesinsertion" name="defn_valuesinsertion">Values Insertion</span></b>
+                  <b>Definition: <span id="defn_correlate" name="defn_correlate">Values In Scope</span></b>
                   <p>
-                    Define the Values Insertion function `ValuesInsert(X, μ)`
+                    Define the function `BindingInScope()`. 
+                    Evaluation of `BindingInScope()` results in a table of one row,
+                    being the current binding of the enclosing filter.
                   </p>
-                  <pre>Let Table(μ) = { μ } and multiplicity( μ | Table(μ) = { μ } ) = 1
+                </div>
+              </div>
 
+              <div class="defn">
+                <div>
+                  <b>Definition: Access to the current binding</b>
+                  <p>
+                    During <a href="#sparqlQuery">translation to the SPARQL algebra</a>
+                  </p>
+                  <pre>
 Replace each occurence of `Y` in X where `Y` is one of
           <a href="#sparqlTranslateBasicGraphPatterns">Basic Graph Pattern</a>,
           <a href="#sparqlTranslatePathExpressions">Property Path Expression</a>,
           <a href="#sparqlTranslateGraphPatterns">`Graph(Var, pattern)`</a>,
           <a href="#https://www.w3.org/TR/sparql12-query/#sparqlTranslateGraphPatterns">Inline Data</a>
-with `join(Y, Table(μ))`.</pre>
-
+          with `join(Y, BindingInScope())`.</pre>
+                </div>
+                <div class="note">
+                  c.f. section <a href="#sparqlTranslateGraphPatterns">Translate Graph Patterns</a>
+                  where an empty basic graph pattern start any 
+                  <a href="#rGroupGraphPattern">GroupGraphPattern</a>.
+                  It happens before the <a href="#sparqlSimplification">simplification step</a>.
                 </div>
-                <p>@@ rename as ???correllate</p>
               </div>
 
               <div class="example">
                 <p>
                   Examples
                 </p>
               </div>
+
+              <p>
+                Alternative 2: rewrite the algebra during execution. This corresponds to the 
+                <a href="https://github.com/w3c/sparql-dev/blob/main/SEP/SEP-0007/sep-0007.md">original SEP-0007 proposal</a>.
+              </p>
+              <div class="defn">
+                <div>
+                  <b>Definition: <span id="defn_valuesinsertion" name="defn_valuesinsertion">Values Insertion</span></b>
+                  <p>
+                    Define the Values Insertion function `ValuesInsert(X, μ)`
+                  </p>
+                  <pre>Let Table(μ) = { μ } and multiplicity( μ | Table(μ) = { μ } ) = 1
+
+Replace each occurence of `Y` in X where `Y` is one of
+          <a href="#sparqlTranslateBasicGraphPatterns">Basic Graph Pattern</a>,
+          <a href="#sparqlTranslatePathExpressions">Property Path Expression</a>,
+          <a href="#sparqlTranslateGraphPatterns">`Graph(Var, pattern)`</a>,
+          <a href="#https://www.w3.org/TR/sparql12-query/#sparqlTranslateGraphPatterns">Inline Data</a>
+with `join(Y, Table(μ))`.</pre>
+
+                </div>
+              </div>
             </section>
+
             <section>
               <h4>Evaluation of EXISTS</h4>
               <div class="defn">
@@ -10556,7 +10610,7 @@ <h4>Evaluation of EXISTS</h4>
                       define the Evaluation of Exists `exists(X)`
                 </p>
                 <pre>exists(X) = true 
-              if eval( D(G), ValuesInsert(PrjMap(X), μ) )
+              if eval( D(G), ValuesInScope(PrjMap(X)), μ)
                  is a non-empty solution sequence.
 exists(X) = false otherwise</pre>
               </div>