diff --git a/spec/index.html b/spec/index.html index ed78e67..0480eb5 100644 --- a/spec/index.html +++ b/spec/index.html @@ -10702,7 +10702,7 @@
Sample

Evaluation Semantics

-

We define eval(|D|(|G|), |A|, μctx) as the evaluation of an algebraic query expression |A| with +

We define eval(|D|(|G|), |AQE|, μctx) as the evaluation of an algebraic query expression |AQE| 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| and @@ -10714,15 +10714,13 @@

Evaluation Semantics

as defined in .

Further symbols used in the following definitions are:

-
- |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.
+ |AQE| is a sequence or a multiset of solution mappings.

Definition: Evaluation of a Basic Graph Pattern

eval( |D|(|G|), |BGP|, μctx ) = multiset of solution mappings

@@ -10739,49 +10737,49 @@

Evaluation Semantics

Definition: Evaluation of Filter

-

eval( |D|(|G|), Filter(|F|, |P|), μctx ) = Filter( |F|, eval(|D|(|G|), |P|, μctx), |D|, |G| )

+

eval( |D|(|G|), Filter(|F|, |A|), μctx ) = Filter( |F|, eval(|D|(|G|), |A|, μctx), |D|, |G| )

Definition: Evaluation of Join

-

eval( |D|(|G|), Join(P1, P2), μctx ) = Join( eval(|D|(|G|), P1, μctx), eval(|D|(|G|), P2, μctx) )

+

eval( |D|(|G|), Join(A1, A2), μctx ) = Join( eval(|D|(|G|), A1, μctx), eval(|D|(|G|), A2, μctx) )

Definition: Evaluation of LeftJoin

-eval( |D|(|G|), LeftJoin(P1, P2, |F|), μctx ) = LeftJoin( eval(|D|(|G|), P1, μctx), eval(|D|(|G|), P2, μctx), |F|, |D|, |G| ) +eval( |D|(|G|), LeftJoin(A1, A2, |F|), μctx ) = LeftJoin( eval(|D|(|G|), A1, μctx), eval(|D|(|G|), A2, μctx), |F|, |D|, |G| )

Definition: Evaluation of Union

-

eval( |D|(|G|), Union(P1, P2), μctx ) = Union( eval(|D|(|G|), P1, μctx), eval(|D|(|G|), P2, μctx) )

+

eval( |D|(|G|), Union(A1, A2), μctx ) = Union( eval(|D|(|G|), A1, μctx), eval(|D|(|G|), A2, μctx) )

Definition: Evaluation of Graph

For every |x| that is an IRI or a variable, - eval( |D|(|G|), Graph(|x|, |P|), μctx ) + eval( |D|(|G|), Graph(|x|, |A|), μctx ) is defined as follows:

@@ -10821,43 +10819,43 @@

Evaluation Semantics

Definition: Evaluation of Extend

-eval( |D|(|G|), Extend(|P|, |var|, |expr|), μctx ) = Extend( eval(|D|(|G|), |P|, μctx), |var|, |expr|, |D|, |G| ) +eval( |D|(|G|), Extend(|A|, |var|, |expr|), μctx ) = Extend( eval(|D|(|G|), |A|, μctx), |var|, |expr|, |D|, |G| )

Definition: Evaluation of ToList

-

eval( |D|(|G|), ToList(|P|), μctx ) = ToList( eval(|D|(|G|), |P|, μctx) )

+

eval( |D|(|G|), ToList(|A|), μctx ) = ToList( eval(|D|(|G|), |A|, μctx) )

Definition: Evaluation of Distinct

-

eval( |D|(|G|), Distinct(|L|), μctx ) = Distinct( eval(|D|(|G|), |L|, μctx) ) +

eval( |D|(|G|), Distinct(|A|), μctx ) = Distinct( eval(|D|(|G|), |A|, μctx) )

Definition: Evaluation of Reduced

-

eval( |D|(|G|), Reduced(|L|), μctx ) = Reduced( eval(|D|(|G|), |L|, μctx) ) +

eval( |D|(|G|), Reduced(|A|), μctx ) = Reduced( eval(|D|(|G|), |A|, μctx) )

Definition: Evaluation of Project

-

eval( |D|(|G|), Project(|L|, |vars|), μctx ) = Project( eval(|D|(|G|), |L|, μctx), |vars| ) +

eval( |D|(|G|), Project(|A|, |vars|), μctx ) = Project( eval(|D|(|G|), |A|, μctx), |vars| )

Definition: Evaluation of OrderBy

-

eval( |D|(|G|), OrderBy(|L|, |condition|), μctx ) = OrderBy( eval(|D|(|G|), |L|, μctx), |condition| ) +

eval( |D|(|G|), OrderBy(|A|, |condition|), μctx ) = OrderBy( eval(|D|(|G|), |A|, μctx), |condition| )

Definition: Evaluation of ToMultiSet

-

eval( |D|(|G|), ToMultiset(|L|), μctx ) = ToMultiSet( eval(|D|(|G|), |L|, μctx) )

+

eval( |D|(|G|), ToMultiset(|A|), μctx ) = ToMultiSet( eval(|D|(|G|), |A|, μctx) )

Definition: Evaluation of Slice

-

eval( |D|(|G|), Slice(|L|, |offset|), μctx ) = Slice( eval(|D|(|G|), |L|, μctx), |offset| ) +

eval( |D|(|G|), Slice(|A|, |offset|), μctx ) = Slice( eval(|D|(|G|), |A|, μctx), |offset| )

-eval( |D|(|G|), Slice(|L|, |offset|, |limit|), μctx ) = Slice( eval(|D|(|G|), |L|, μctx), |offset|, |limit| ) +eval( |D|(|G|), Slice(|A|, |offset|, |limit|), μctx ) = Slice( eval(|D|(|G|), |A|, μctx), |offset|, |limit| )