Skip to content

Simplify the SPARQL subset BNF #321

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
kjetilk merged 4 commits into from
Oct 16, 2021
Merged

Simplify the SPARQL subset BNF #321

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
fbd5990
Simplify the BNF
kjetilk Oct 13, 2021
65cb624
Reintroduce DeleteWhere
kjetilk Oct 13, 2021
79d5021
Update change count
kjetilk Oct 13, 2021
9f483f5
Add overview section, link Yacker for completeness
kjetilk Oct 15, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
40 changes: 19 additions & 21 deletions protocol.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1054,12 +1054,22 @@ <h3 property="schema:name">Security and Privacy Review</h3>
<section class="appendix" id="sparql-update-subset" inlist="" rel="schema:hasPart" resource="#sparql-update-subset">
<h2 property="schema:name">Appendix - A subset of SPARQL Update for Solid</h2>
<div datatype="rdf:HTML" property="schema:description">
<section id="sparql-subset-overview" inlist="" rel="schema:hasPart" resource="#sparql-subset-overview">
<h3 property="schema:name">Overview</h3>
<div datatype="rdf:HTML" property="schema:description">
<p><em>This section is non-normative.</em></p>

<p>The objective of the subset is to identify a subset of SPARQL 1.1 Update [<cite><a class="bibref" href="#bib-sparql-overview">SPARQL</a></cite>] that is relatively easy to implement and contains features that are most commonly used. It thus takes variations of the <code>INSERT</code> and <code>DELETE</code> operations and allows operations on basic triple patterns only. The subset is compatible with SPARQL 1.1 Update and is defined in terms of a <a href="#sparql-subset-grammar">grammar</a>. To further examine the definition, see <a href="https://services.w3.org/yacker/uploads/SPARQL_patch_solid?lang=perl&markup=html">the Yacker validator</a>.
</p>
</div>
</section>

<section id="sparql-subset-grammar" inlist="" rel="schema:hasPart" resource="#sparql-subset-grammar">
<h3 property="schema:name">Grammar</h3>
<div class="note" id="sparql-subset-definition-note" inlist="" rel="schema:hasPart" resource="#sparql-subset-definition-note">
<h4 property="schema:name"><span>Note</span>: Definition of SPARQL Update Subset</h4>
<div datatype="rdf:HTML" property="schema:description">
<p>This specification alters the grammar of 10 rules in the original grammar of the SPARQL 1.1 Query Language [<cite><a class="bibref" href="#bib-sparql-overview">SPARQL</a></cite>] grammar and introduces another 10 new rules to accommodate for <code>INSERT DATA</code> and <code>DELETE DATA</code>, which was defined in the language definition but not precisely defined in the grammar. This specification references the original grammar definition where no changes were made.
<p>This specification alters the grammar of 8 rules in the original grammar of the SPARQL 1.1 Query Language [<cite><a class="bibref" href="#bib-sparql-overview">SPARQL</a></cite>] grammar and introduces another 10 new rules to accommodate for <code>INSERT DATA</code> and <code>DELETE DATA</code>, which was defined in the language definition but not precisely defined in the grammar. This specification references the original grammar definition where no changes were made.
</div>
</div>

Expand All @@ -1070,7 +1080,7 @@ <h4 property="schema:name"><span>Note</span>: Definition of SPARQL Update Subset
<td><code>[30p] </code></td>
<td><code><a id="rUpdate1" name="rUpdate1">Update1</a></code></td>
<td> ::= </td>
<td><code><a href="https://www.w3.org/TR/sparql11-query/#rPrologue">Prologue</a> ( <a href="#rInsertData">InsertData</a> | <a href="#rDeleteData">DeleteData</a> | <a href="#rModify">Modify</a> ) </code></td>
<td><code><a href="https://www.w3.org/TR/sparql11-query/#rPrologue">Prologue</a> ( <a href="#rInsertData">InsertData</a> | <a href="#rDeleteData">DeleteData</a> | <a href="https://www.w3.org/TR/sparql11-query/#rDeleteWhere">DeleteWhere</a> | <a href="#rModify">Modify</a> ) </code></td>
</tr>
<tr valign="baseline">
<td><code>[38p] </code></td>
Expand All @@ -1084,11 +1094,17 @@ <h4 property="schema:name"><span>Note</span>: Definition of SPARQL Update Subset
<td> ::= </td>
<td><code><span class="token">'DELETE DATA'</span> <span class="token">'{'</span> <a href="#rTripleData">TripleData</a> <span class="token">'}'</span> </code></td>
</tr>
<tr valign="baseline">
<td><code>[40p] </code></td>
<td><code><a id="rDeleteWhere" name="rDeleteWhere">DeleteWhere</a></code></td>
<td> ::= </td>
<td><code><span class="token">'DELETE WHERE'</span> <span class="token">'{'</span> <a href="https://www.w3.org/TR/sparql11-query/#rTriplesTemplate">TriplesTemplate</a> <span class="token">'}'</span> </code></td>
</tr>
<tr valign="baseline">
<td><code>[41p] </code></td>
<td><code><a id="rModify" name="rModify">Modify</a></code></td>
<td> ::= </td>
<td><code>( <a href="#rDeleteClause">DeleteClause</a> <a href="#rInsertClause">InsertClause</a>? | <a href="#rInsertClause">InsertClause</a> ) <span class="token">'WHERE'</span> <a href="#rGroupGraphPattern">GroupGraphPattern</a></code></td>
<td><code>( <a href="#rDeleteClause">DeleteClause</a> <a href="#rInsertClause">InsertClause</a>? | <a href="#rInsertClause">InsertClause</a> ) <span class="token">'WHERE'</span> <span class="token">'{'</span> <a href="https://www.w3.org/TR/sparql11-query/#rTriplesTemplate">TriplesTemplate</a> <span class="token">'}'</span> </code></td>
</tr>
<tr valign="baseline">
<td><code>[42p] </code></td>
Expand All @@ -1108,24 +1124,6 @@ <h4 property="schema:name"><span>Note</span>: Definition of SPARQL Update Subset
<td> ::= </td>
<td><code><a href="#rTriplesDataSameSubject">TriplesDataSameSubject</a> ( <span class="token">'.'</span> <a href="#rTripleData">TripleData</a>? )?</code></td>
</tr>
<tr valign="baseline">
<td><code>[53p] </code></td>
<td><code><a id="rGroupGraphPattern" name="rGroupGraphPattern">GroupGraphPattern</a></code></td>
<td> ::= </td>
<td><code><span class="token">'{'</span> <a href="#rGroupGraphPatternSub">GroupGraphPatternSub</a> ) <span class="token">'}'</span></code></td>
</tr>
<tr valign="baseline">
<td><code>[54p] </code></td>
<td><code><a id="rGroupGraphPatternSub" name="rGroupGraphPatternSub">GroupGraphPatternSub</a></code></td>
<td> ::= </td>
<td><code><a href="#rTriplesBlock">TriplesBlock</a></code></td>
</tr>
<tr valign="baseline">
<td><code>[55p] </code></td>
<td><code><a id="rTriplesBlock" name="rTriplesBlock">TriplesBlock</a></code></td>
<td> ::= </td>
<td><code><a href="https://www.w3.org/TR/sparql11-query/#rTriplesSameSubject">TriplesSameSubject</a> ( <span class="token">'.'</span> <a href="#rTriplesBlock">TriplesBlock</a>? )?</code></td>
</tr>
<tr valign="baseline">
<td><code>[75d] </code></td>
<td><code><a id="rTriplesDataSameSubject" name="rTriplesDataSameSubject">TriplesDataSameSubject</a></code></td>
Expand Down