- From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
- Date: Fri, 01 Jun 2012 12:02:58 +0000
- To: public-prov-wg@w3.org
PROV-ISSUE-387 (unique-generation): generation [prov-dm-constraints] http://www.w3.org/2011/prov/track/issues/387 Raised by: Luc Moreau On product: prov-dm-constraints Hi, In prov-constraints, we have unique-generation-time [1], which I believe follows from ordering constraints. But it also has generation-uniqueness [2]. A previous version of the document [3] defined the constraint generation-uniqueness, but made it optional, for "well-behaved/proper/well-structured" provenance. Rationale for this was discussed in [4]. Benefit of generation-uniqueness is that new inferences such as derivation-use [5] are allowed. prov-dm-constraints need to make this clear. Cheers, Luc [1] http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#unique-generation-time [2] http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#generation-uniqueness [3] http://www.w3.org/TR/2012/WD-prov-dm-20120202/#structural-constraints [4] http://lists.w3.org/Archives/Public/public-prov-wg/2012May/0285.html [5] http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#derivation-use
Received on Friday, 1 June 2012 12:03:04 UTC