From 37e5c491da5117612e0f20779cbfb88a5b1e4675 Mon Sep 17 00:00:00 2001 From: Olaf Hartig Date: Wed, 12 Nov 2025 17:45:51 +0100 Subject: [PATCH 1/2] extends the signature of the eval function by adding a 'context solution mapping' as a third argument --- spec/index.html | 62 ++++++++++++++++++++++++++----------------------- 1 file changed, 33 insertions(+), 29 deletions(-) diff --git a/spec/index.html b/spec/index.html index b77e33a..2d5633d 100644 --- a/spec/index.html +++ b/spec/index.html @@ -10653,8 +10653,10 @@
Sample

Evaluation Semantics

-

We define eval(|D|(|G|), |A|) as the evaluation of an algebraic query expression |A| with - respect to a dataset |D| having active graph |G|. The active graph is initially the default +

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:

From b823c85666f8e298877dcdefd1fca9120af25a3b Mon Sep 17 00:00:00 2001 From: Olaf Hartig Date: Wed, 12 Nov 2025 18:05:27 +0100 Subject: [PATCH 2/2] adds note for issue #308 --- spec/index.html | 2 ++ 1 file changed, 2 insertions(+) diff --git a/spec/index.html b/spec/index.html index 2d5633d..2814f2f 100644 --- a/spec/index.html +++ b/spec/index.html @@ -10663,6 +10663,8 @@

Evaluation Semantics

  • |L| : a solution sequence
  • |F| : an expression
    • +
    + |L| should not be a solution sequence but an algebraic query expression.
    The definitions in this section do not cover the cases in which |A| is a sequence or a multiset of solution mappings.