constraints
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 19 Jul 2012 10:22:00 +0100
changeset 4157 d904dbaa6409
parent 4156 97be5a50e989
child 4159 b9bd6707443a
child 4160 021e87db561c
constraints
model/prov-constraints.html
--- a/model/prov-constraints.html	Thu Jul 19 10:12:29 2012 +0100
+++ b/model/prov-constraints.html	Thu Jul 19 10:22:00 2012 +0100
@@ -1632,6 +1632,27 @@
 </ol>
 </p>   </div>
 
+   <hr />
+   <p id='key_relation2_text'> Furthermore,  identifiers
+   of relationships in PROV uniquely identify a relation (except for wasInfluencedBy), through
+  the following key constraints:
+  </p>
+  <div class='constraint' id='key-relation2'>
+    <p>The <span
+  class="name">id</span> field is a KEY for <span
+  class="name">r(id;a_1,...,a_n)</span>
+for any relation type r in { 
+<span class="name">used</span>,
+<span class="name">wasGeneratedBy</span>,
+<span class="name">wasInfluencedBy</span>,
+<span class="name">wasStartedBy</span>,
+<span class="name">wasEndedBy</span>,
+<span class="name">wasInformedBy</span>,
+<span class="name">wasAttributedTo</span>,
+<span class="name">wasAssociatedWith</span>,
+<span class="name">actedOnBehalfOf</span>}
+</p>   </div>
+
 
 <hr>