Skip to content

Commit f3902e7

Browse files
committed
Editorial
1 parent f837588 commit f3902e7

File tree

1 file changed

+9
-8
lines changed

1 file changed

+9
-8
lines changed

spec/index.html

+9-8
Original file line numberDiff line numberDiff line change
@@ -10386,7 +10386,7 @@ <h4>Syntax Restriction</h4>
1038610386
<blockquote>
1038710387
Any variable that is assigned to in the graph pattern of `EXISTS`/`NOT EXISTS` must not be in-scope.
1038810388
This applies to `BIND`, variables introduced by `AS` in a `SELECT` clause, variables in a `VALUES`
10389-
clause, and variables intrucded by `AS` in `GROUP BY`.
10389+
clause, and variables introduced by `AS` in `GROUP BY`.
1039010390
</blockquote>
1039110391
<p>Extend the "in-scope" rules to include the variables in-scope from the current row:</p>
1039210392
<table style="border-collapse: collapse; border-color: #000000; border-spacing:5px; border-width: 1px">
@@ -10397,14 +10397,14 @@ <h4>Syntax Restriction</h4>
1039710397
</tr>
1039810398
<tr>
1039910399
<td>`EXISTS` and `NOT EXISTS` filters </td>
10400-
<td><code>v</code> is in-scope if it is in-scope for pattern to which the `FILTER` is applied.
10400+
<td><code>v</code> is in-scope if it is in-scope for the pattern to which the `FILTER` is applied.
1040110401
</td>
1040210402
</tr>
1040310403
</tbody>
1040410404
</table>
1040510405
<p class="note">
1040610406
This restriction means that <a href="#defn_valuesinsertion">values inserted</a>
10407-
do not conflict with values assigned to varibales with the pattern.
10407+
do not conflict with values assigned to variables with the pattern.
1040810408
</p>
1040910409
</section>
1041010410

@@ -10417,7 +10417,7 @@ <h4>Remapping</h4>
1041710417
algebra expression of a query.
1041810418
</p>
1041910419
<p>
10420-
Renaming these variables does not change the results of evalauting
10420+
Renaming these variables does not change the results of evaluating
1042110421
the project expresssion.
1042210422
</p>
1042310423
<div class="defn">
@@ -10439,7 +10439,7 @@ <h4>Remapping</h4>
1043910439
</pre>
1044010440
<p>
1044110441
The Projection Expression Variable Remapping yields an algrebra expression that
10442-
evalautes to the same results as the Project argument. No variable of `ProjectMap(Project(A, PV))`
10442+
evaluates to the same results as the Project argument. No variable of `ProjectMap(Project(A, PV))`
1044310443
that is not in `PV` is mentioned anywhere else in the algebra expression for the query.
1044410444
</p>
1044510445
</div>
@@ -10449,15 +10449,16 @@ <h4>Remapping</h4>
1044910449
<div class="defn">
1045010450
<b>Definition: <span id="defn_varrename" name="defn_varrename">Variable Remapping</span></b>
1045110451
<p>
10452-
For any algebra expression `X`, define the Variable Remapping `PrjMap(X)`of algebra expression `X`:
10452+
For any algebra expression `X`, define the Variable Remapping `PrjMap(X)`
10453+
of algebra expression `X`:
1045310454
</p>
1045410455
<pre>PrjMap(X) = replace all project operations Project(P, PV)
10455-
with ProjectMap(P,PV) for each projection in X.</pre>
10456+
with ProjectMap(P, PV) for each projection in X.</pre>
1045610457
</div>
1045710458
<p>
1045810459
The outcome of `PrjMap` is independent of the order of replacement
1045910460
(e.g. bottom-up or top-down).
10460-
Replacements may happen several times, depending on recusive order
10461+
Replacements may happen several times, depending on recursive order
1046110462
but each time a replacement is made, the variable not used anywhere else.
1046210463
</p>
1046310464

0 commit comments

Comments
 (0)