Changes symbols L, P, P_1, and P_2 in 'Evaluation Semantics' section #347
Conversation
spec/index.html
Outdated
| <ul> | ||
| <li>|P|, <var>P<sub>1</sub></var>, <var>P<sub>2</sub></var> : graph patterns</li> | ||
| <li>|L| : a solution sequence</li> | ||
| <li><var>A'</var>, <var>A<sub>1</sub></var>, <var>A<sub>2</sub></var> : |
There was a problem hiding this comment.
Question: do we need A'?
It is only in three places - two in the first paragraph and in once in a note.
In, for example:
eval( D(G), Filter(F, A'), μctx ) = Filter( F, eval(D(G), A', μctx), D, G )
read fine to me as A (the LHS names a thing, and it appears in the RHS - its a scope)
If you want the distinction, use AQE at the top.
There was a problem hiding this comment.
I think the distinction is relevant and have applied your suggestion to use AQE at the top.
The distinction is relevant because the AQE at the top (previously A) denotes the algebraic query expression for which the different cases of the eval function are defined, whereas now A (previously A') is a sub-expression of AQE in some of these cases.
Closes #308 by implementing exactly the changes described in #308 (and nothing more).
Preview | Diff