| author | Luc Moreau <l.moreau@ecs.soton.ac.uk> |
| Mon, 23 Jul 2012 10:42:03 +0100 | |
| changeset 4219 | 8729d8cd4157 |
| parent 4218 | 2d4777e2b3ed |
| child 4220 | 34993bea2bef |
| model/prov-constraints.html |
--- a/model/prov-constraints.html Mon Jul 23 10:35:14 2012 +0100 +++ b/model/prov-constraints.html Mon Jul 23 10:42:03 2012 +0100 @@ -3165,6 +3165,7 @@ </li> </ol> +<p>A normal form of a PROV instance may not exist when a uniqueness constraint fails due to merging failure. </p> <p>Two PROV instances are <dfn>equivalent</dfn> if they have the