author Luc Moreau Mon, 03 Sep 2012 16:38:55 +0100 changeset 4393 74c61c8d8598 parent 4392 61a133dd96af child 4394 5baf4af96bed
html compliance
 model/prov-constraints.html
```--- a/model/prov-constraints.html	Mon Sep 03 16:37:37 2012 +0100
+++ b/model/prov-constraints.html	Mon Sep 03 16:38:55 2012 +0100
@@ -4269,7 +4269,7 @@
wasInfluencedBy(id;e2,e1)
wasDerivedFrom(id;e2,e1)
</pre>
-    This satisfies the disjointness constraint.
+<p>    This satisfies the disjointness constraint.
</p>
<p>There is, however, no
constraint requiring that every influence relationship is
@@ -4278,7 +4278,7 @@
<pre>
wasInfluencedBy(id; e2,e1)
</pre>
-    This is valid; there is no inferrable information about what kind
+<p>    This is valid; there is no inferrable information about what kind
of influence relates <span class="name">e2</span> and <span class="name">e1</span>, other than its identity.
</p>
</div>
@@ -4701,7 +4701,7 @@
<li>For stage 6, we check weak acyclicity using the algorithm
in       [[DBCONSTRAINTS]], namely:
<ul><li> Given a formula <span class="math">φ(x<sub>1</sub>,...,x<sub>n</sub>) ⇒
-      ∃y<sub>1</sub>,...,y<sub>m</sub>. ψ(x<sub>1</sub>,...,x<sub>n</sub>,y<sub>1</sub>,...,y<sub>m</sub>)<span class="math"></li>
+      ∃y<sub>1</sub>,...,y<sub>m</sub>. ψ(x<sub>1</sub>,...,x<sub>n</sub>,y<sub>1</sub>,...,y<sub>m</sub>)</span></li>
<li>For every <span class="math">x</span> that occurs in  <span class="math">ψ</span>, and for every
occurrence of <span class="math">x</span> in <span class="math">φ</span> in position <span class="math">r.i</span>:
<ol><li>For every occurrence of <span class="math">x</span> in position <span class="math">s.j</span>, add```