Skip to content

Commit 38052ef

Browse files
committed
restores obsolete id anchors
1 parent a8c3c94 commit 38052ef

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

spec/index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9835,7 +9835,7 @@ <h3>SPARQL Algebra</h3>
98359835
every other solution mapping so <code>P MINUS {}</code> would otherwise be empty for any
98369836
pattern <code>P</code>.</p>
98379837
<div class="defn">
9838-
<p><b>Definition: <span id="defn_algExtend">Extend</span></b></p>
9838+
<p><b>Definition: <span id="defn_algExtend">Extend</span><span id="defn_extend"><!-- obsolete id --></span></b></p>
98399839
<p>Let <var>μ</var> be a solution mapping, <var>Ω</var> a multiset of solution mappings, <var>var</var> a variable
98409840
and <var>expr</var> be an <a href="#expressions">expression</a>, then we define:</p>
98419841
<p><a href="#defn_algExtend" class="algFct">Extend</a>(<var>μ</var>, <var>var</var>, <var>expr</var>) = <var>μ</var> ∪ { (<var>var</var>, <var>value</var>) | <var>var</var> not in dom(<var>μ</var>) and <var>value</var> = <var>expr</var>(<var>μ</var>) }</p>
@@ -9854,14 +9854,14 @@ <h3>SPARQL Algebra</h3>
98549854
<a href="#defn_Multiplicity">multiplicity</a>( <var>μ</var> | <var>Ω</var> )</p>
98559855
</div>
98569856
<div class="defn">
9857-
<p><b>Definition: <span id="defn_algOrderBy">OrderBy</span></b></p>
9857+
<p><b>Definition: <span id="defn_algOrderBy">OrderBy</span><span id="defn_algOrdered"><!-- obsolete id --></span></b></p>
98589858
<p>Let <var>Ψ</var> be a sequence of solution mappings. We define:</p>
98599859
<p><a href="#defn_algOrderBy" class="algFct">OrderBy</a>(<var>Ψ</var>, condition) = [ <var>μ</var> | <var>μ</var> in <var>Ψ</var> and the sequence satisfies the ordering condition]</p>
98609860
<p><a href="#defn_Multiplicity">multiplicity</a>( <var>μ</var> | <a href="#defn_algOrderBy" class="algFct">OrderBy</a>(<var>Ψ</var>, condition) ) =
98619861
<a href="#defn_Multiplicity">multiplicity</a>( <var>μ</var> | <var>Ψ</var> )</p>
98629862
</div>
98639863
<div class="defn">
9864-
<p><b>Definition: <span id="defn_algProject">Project</span></b></p>
9864+
<p><b>Definition: <span id="defn_algProject">Project</span><span id="defn_algProjection"><!-- obsolete id --></span></b></p>
98659865
<p>Let <var>Ψ</var> be a sequence of solution mappings and <var>PV</var> a set of variables.</p>
98669866
<p>For mapping <var>μ</var>, write Proj(<var>μ</var>, <var>PV</var>) to be the restriction of <var>μ</var> to variables in <var>PV</var>.</p>
98679867
<p><a href="#defn_algProject" class="algFct">Project</a>(<var>Ψ</var>, <var>PV</var>) = [ Proj(<var>μ</var>, <var>PV</var>) | <var>μ</var> in <var>Ψ</var> ]</p>

0 commit comments

Comments
 (0)