--- a/model/ProvenanceModel.html	Fri Nov 18 00:11:31 2011 +0000
+++ b/model/ProvenanceModel.html	Fri Nov 18 09:28:46 2011 +0000
@@ -2387,13 +2387,37 @@
 
       </section> 
 
-<section id="record-transitive">
-<h3>Transitive Dependency Record</h3>
+<section id="record-traceability">
+<h3>Traceability Record</h3>
 
 <div class="note">
-TODO, define a transitive closure of derivation, wascomplementof, wasassociatedwith, etc.
-Name to be identified.
+Define a transitive closure of derivation, wascomplementof, wasAssociatedWith, etc.
 </div>
+
+
+<div class='grammar'>
+<span class="nonterminal">traceabilityRecord</span>&nbsp;:= 
+<span class="name">tracedTo</span>
+<span class="name">(</span>
+<span class="nonterminal">identifier</span>
+<span class="name">,</span>
+<span class="nonterminal">identifier</span>
+<span class="name">)</span>
+</div>
+
+<div class='constraint' id='traceability definition'>
+Given two identifiers <span class="name">e2</span> and  <span class="name">e1</span>, identifying entity records, the record <span class="name">tracedTo(e2,e1)</span> holds <span class='conditional'>if and only if</span>:
+<ul> 
+<li> <span class="name">wasDerivedFrom(e2,e1,a,g2,u1)</span> holds, for some <span class="name">a</span>, <span class="name">g2</span>, <span class="name">u1</span>, or</li>
+<li> <span class="name">wasDerivedFrom(e2,e1)</span> holds, or</li>
+<li> <span class="name">wasBased(e2,e1)</span> holds, or</li>
+<li> <span class="name">wasGeneratedBy(e2,a,gAttr) and wasAssociatedWith(a,e1)</span> hold, for some  <span class="name">a</span> and  <span class="name">gAttr</span>
+<li> <span class="name">wasGeneratedBy(e2,a,gAttr) and wasStartedBy(a,e1)</span> hold, for some  <span class="name">a</span> and  <span class="name">gAttr</span>
+<li> <span class="name">tracedTo(e2,e)</span> and  <span class="name">tracedTo(e,e1)</span> hold for some  <span class="name">e</span>.</li>
+</ul>
+</div>
+
+
 </section>
 
 <section id="record-OrderingOfActivities">
@@ -2859,6 +2883,7 @@
 <section class="appendix"> 
       <h2>Changes Since Previous Version</h2> 
 <ul>
+<li>11/17/11: Added Traceability  Record.</li>
 <li>11/17/11: Rewrote the whole section on Derivation Record.</li>
 <li>11/17/11: Updated wasDerivedFrom to refer to generation/usage record ids.</li>
 <li>11/17/11: Simplified hasAnnotation mechanism, now requiring to-be-annotated record to had id.</li>