Added remark for review of PROV-DICTIONARY
authorTom De Nies <>
Thu, 10 Jan 2013 17:52:51 +0100
changeset 5415 eedf09ddfda6
parent 5414 9d566dff7260
child 5417 dea26bd536cf
Added remark for review of PROV-DICTIONARY
--- a/dictionary/prov-dictionary.html	Thu Jan 10 17:02:54 2013 +0100
+++ b/dictionary/prov-dictionary.html	Thu Jan 10 17:52:51 2013 +0100
@@ -2479,6 +2479,7 @@
 <span class="conditional">IF</span> <span class="name">derivedByRemovalFrom(d2, d1, {"k1"})</span> 
    <span class='conditional'>THEN</span> <span class="name">hadDictionaryMember(d1, e1, "k1")</span>
+  <div class="remark"><b>Note from the editors:</b> this constraint seems too restrictive for some implementations, and the editors would like to remove it, unless there is strong consensus to keep it. Removal of this constraint would also allow for duplicate dictionaries to be derived by "removal" of a non-existing key.</div>
 <p id="insertion-derivation-inference_text">Insertion and removal are special cases of derivation.</p>
 	 <div class='inference' id='insertion-derivation-inference'>