ISSUE-387: generation

unique-generation

State:

CLOSED

Product:

prov-dm-constraints

Raised by:

Luc Moreau

Opened on:

2012-06-01

Description:

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

Related Actions Items:

No related actions

Related emails:

Re: PROV-ISSUE-387 (unique-generation): generation [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-06)
Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-08-06)
Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from p.t.groth@vu.nl on 2012-07-29)
Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from lebot@rpi.edu on 2012-07-29)
RE: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from simon.miles@kcl.ac.uk on 2012-07-24)
Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from L.Moreau@ecs.soton.ac.uk on 2012-07-23)
Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from L.Moreau@ecs.soton.ac.uk on 2012-07-23)
PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-07-20)
Re: PROV-ISSUE-387 (unique-generation): generation [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-07-18)
PROV-ISSUE-387 (unique-generation): generation [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-06-01)

No additional notes.