W3C home > Mailing lists > Public > public-prov-wg@w3.org > June 2012

PROV-ISSUE-387 (unique-generation): generation [prov-dm-constraints]

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Fri, 01 Jun 2012 12:02:58 +0000
Message-Id: <E1SaQZG-0007Tr-TG@tibor.w3.org>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:15 UTC