internal release prep
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Fri, 20 Jul 2012 08:05:08 +0100
changeset 4181 06ed4ae7f0e4
parent 4180 bf6cc3fe219b
child 4182 111bcadfcb4a
internal release prep
model/prov-constraints.html
--- a/model/prov-constraints.html	Fri Jul 20 08:03:24 2012 +0100
+++ b/model/prov-constraints.html	Fri Jul 20 08:05:08 2012 +0100
@@ -677,7 +677,7 @@
 <tr class="component3-color"><td class="essential"><a>Association</a></td><td> </td></tr>
 <tr class="component3-color"><td class="essential"><a>Delegation</a></td><td> </td></tr>
 <tr class="component3-color"><td class="provType"><a>Plan</a></td><td> </td>
-<tr class="component3-color"><td class="provType"><a>Person</a></td><td> </td></td>
+<tr class="component3-color"><td class="provType"><a>Person</a></td><td> <td></td>
 <tr class="component3-color"><td class="provType"><a>Organization</a></td><td> </td>
 <tr class="component3-color"><td class="provType"><a title="software-agent">SoftwareAgent</a></td><td></td>
 <tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
@@ -729,7 +729,7 @@
   <a>equivalent</a>, an application MUST determine whether their
   normal forms are equal, as specified in <a href="#normalization-validity-equivalence" class="sectionRef"></a>.
   </ol>
-</p>
+
 
   <p>
   All diagrams are for illustration purposes
@@ -868,7 +868,7 @@
 For each  <span class="name">r</span> in {<span
    class="name">entity</span>, <span class="name">activity</span>,
    <span class="name">agent</span>}, if <span class="name">a_n</span> is not an attribute
-   list parameter then the following definitional rule holds:</p>
+   list parameter then the following definitional rule holds:
   <p><span class="name">r(a<sub>1</sub>,...,a<sub>n</sub>)</span> 
    holds <span  class="conditional">IF AND ONLY IF</span>   <span
    class="name">r(a<sub>1</sub>,...,a<sub>n</sub>,[])</span> holds.</li>
@@ -918,7 +918,6 @@
     <li><span class="name">actedOnBehalfOf(id;a2,a1,attrs)</span> <span class="conditional">IF AND ONLY IF</span> <span class="name">actedOnBehalfOf(id;a2,a1,-,attrs)</span>.
    </li>
   </ol>
-    </p>
  </div>
 
  <div class="remark">
@@ -1033,7 +1032,6 @@
     class="name">entity</span>, <span class="name">activity</span>,
     <span class="name">agent</span>}, the following definition
     holds:
-      </p>
       <p>
       <span class="name">r(a<sub>0</sub>,...,a<sub>i-1</sub>, -, a<sub>i+1</sub>, ...,a<sub>n</sub>) </span> <span class="conditional">IF AND ONLY IF</span> there exists <span class="name">a'</span>
     such that <span class="name">r(a<sub>0</sub>,...,a<sub>i-1</sub>,a',a<sub>i+1</sub>,...,a<sub>n</sub>)</span>.