ISSUE-387: generation
unique-generation
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)
Related notes:
No additional notes.
Display change log