minor update

dangtv · Aug 19, 2018 · 57f3802 · 57f3802
1 parent 68ad4ec
commit 57f3802
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -83,10 +83,9 @@ <h2 id="view-update-language-datalog">View Update Language: Datalog</h2>
 
 <h2 id="datalog-syntax-for-relational-view-update">Datalog Syntax for Relational View Update</h2>
 
-<div class="language-text highlighter-rouge"><div class="highlight"><pre class="highlight"><code>&lt;automaton&gt;  ::= &lt;trans&gt; &lt;inits&gt; &lt;acceptings&gt;
-&lt;program&gt; ::= {&lt;statement&gt;}
+<div class="language-text highlighter-rouge"><div class="highlight"><pre class="highlight"><code>&lt;program&gt; ::= {&lt;statement&gt;}
 &lt;statement&gt; ::= &lt;rule&gt; | &lt;query&gt; | &lt;baserelation&gt;
-&lt;rule&gt; ::= &lt;predicate&gt; ":-" &lt;literal&gt; { ("and", ",") &lt;literal&gt; } "."
+&lt;rule&gt; ::= &lt;predicate&gt; ":-" &lt;literal&gt; { ("and"| ",") &lt;literal&gt; } "."
 &lt;baserelation&gt; ::= "%s:" &lt;predicate&gt; "."
 &lt;query&gt; ::= ("%v:" | "?-") &lt;predicate&gt; "."
 &lt;literal&gt; ::= | &lt;predicate&gt; | "not" &lt;predicate&gt; | &lt;builtin&gt; | "not" &lt;builtin&gt;

diff --git a/webpage/index.md b/webpage/index.md
@@ -21,10 +21,9 @@ BIRDS employ and extend the power of Datalog, which is a well known query langua
 ## Datalog Syntax for Relational View Update
 
 ```text
-<automaton>  ::= <trans> <inits> <acceptings>
 <program> ::= {<statement>}
 <statement> ::= <rule> | <query> | <baserelation>
-<rule> ::= <predicate> ":-" <literal> { ("and", ",") <literal> } "."
+<rule> ::= <predicate> ":-" <literal> { ("and"| ",") <literal> } "."
 <baserelation> ::= "%s:" <predicate> "."
 <query> ::= ("%v:" | "?-") <predicate> "."
 <literal> ::= | <predicate> | "not" <predicate> | <builtin> | "not" <builtin>