From e630b05a8964d13342d2a472885607c2e39b0c6c Mon Sep 17 00:00:00 2001 From: Olaf Hartig Date: Fri, 28 Nov 2025 11:06:01 +0100 Subject: [PATCH 1/2] adds ContextMapping to the algebraic syntax, and adds a clarification about the initial context mapping --- spec/index.html | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/spec/index.html b/spec/index.html index f8d4032..47e4b3f 100644 --- a/spec/index.html +++ b/spec/index.html @@ -8596,6 +8596,9 @@

Algebraic Syntax

is an algebraic query expression.
Do we really need both of the previous two points?
+
  • + ContextMapping + is an algebraic query expression.
  • Path(|x|, |ppe|, |y|) is an algebraic query expression if @@ -9204,7 +9207,7 @@
    Translate Graph Patterns
     Let FS := the empty set
-Let G := the empty pattern, a basic graph pattern which is the empty set.
+Let G := ContextMapping
 
 For each element E in the sequence of elements in the GroupGraphPattern
 
@@ -10656,9 +10659,10 @@ 
    Sample
    
           
    Evaluation Semantics
    
           
    We define eval(|D|(|G|), |A|, μctx) as the evaluation of an algebraic query expression |A| with
             respect to a dataset |D| having active graph |G|
-            in correlation with solution mapping μctx.
-            The active graph is initially the default
-            graph of |D|. Further symbols used in the following definitions are:
    
+            in correlation with solution mapping μctx.
    
+          
    The active graph is initially the default graph of |D| and
+            μctx is initially the empty solution mapping μ0.
    
+          
    Further symbols used in the following definitions are:
    
           
      
             
    • |P|, P1, P2 : graph patterns
      • 
             
    • |L| : a solution sequence
      • 
@@ -10679,6 +10683,10 @@ 
      Evaluation Semantics
      
             
      eval( |D|(|G|), Path(|X|, |path|, |Y|), μctx ) = multiset of solution mappings
      
             
      See section Property Path Patterns
      
           
+          
      
+            
      Definition: Evaluation of ContextMapping
      
+            
      eval( |D|(|G|), ContextMapping, μctx ) = multiset that contains only μctx, with a multiplicity of 1
      
+          
      
           
      
             
      Definition: Evaluation of Filter
      
             
      eval( |D|(|G|), Filter(|F|, |P|), μctx ) = Filter( |F|, eval(|D|(|G|), |P|, μctx), |D|, |G| )
      

From 6d1490604240883f8398c40611c514e3dbacf577 Mon Sep 17 00:00:00 2001
From: Olaf Hartig 
Date: Mon, 1 Dec 2025 10:25:39 +0100
Subject: [PATCH 2/2] renames ContextMapping to ContextSolution

---
 spec/index.html | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/spec/index.html b/spec/index.html
index 47e4b3f..e3fa34d 100644
--- a/spec/index.html
+++ b/spec/index.html
@@ -8596,8 +8596,8 @@ 
      Algebraic Syntax
      
             is an algebraic query expression.
 
      Do we really need both of the previous two points?
      
             
-          
    • 
-            ContextMapping
+          
    • 
+            ContextSolution
             is an algebraic query expression.
      • 
           
    • 
             Path(|x|, |ppe|, |y|)
@@ -9207,7 +9207,7 @@ 
      Translate Graph Patterns
      
             
 
       Let FS := the empty set
-Let G := ContextMapping
+Let G := ContextSolution
 
 For each element E in the sequence of elements in the GroupGraphPattern
 
@@ -10684,8 +10684,8 @@ 
      Evaluation Semantics
      
             
      See section Property Path Patterns
      
           
      • 
           
      
-            
      Definition: Evaluation of ContextMapping
      
-            
      eval( |D|(|G|), ContextMapping, μctx ) = multiset that contains only μctx, with a multiplicity of 1
      
+            
      Definition: Evaluation of ContextSolution
      
+            
      eval( |D|(|G|), ContextSolution, μctx ) = multiset that contains only μctx, with a multiplicity of 1
      
           
      
           
      
             
      Definition: Evaluation of Filter