ISSUE-370: Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred
tracedTo-inference-only
Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred
- State:
- CLOSED
- Product:
- prov-dm
- Raised by:
- Luc Moreau
- Opened on:
- 2012-04-30
- Description:
- TracedTo was introduced in the data model so as to have a transitive relation over derivations, etc. It can be inferred. In contrast, its definition as an assertion was not very compelling. In the latest version of prov-constraints, it is only defined as something that can be inferred.
Really, it looks like a relation that is useful to express queries.
So, in the spirit of simplification, should we move it out of prov-dm, and have it defined in prov-constraints only.
At the same time, it could be simplified to a binary relation, since we have no way of inferring attributes for this relation.
- Related Actions Items:
- No related actions
- Related emails:
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from l.moreau@ecs.soton.ac.uk on 2012-09-04)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from jcheney@inf.ed.ac.uk on 2012-05-15)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from lebot@rpi.edu on 2012-05-15)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from L.Moreau@ecs.soton.ac.uk on 2012-05-15)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from jun.zhao@zoo.ox.ac.uk on 2012-05-03)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from soiland-reyes@cs.manchester.ac.uk on 2012-05-02)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from p.t.groth@vu.nl on 2012-04-30)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from jcheney@inf.ed.ac.uk on 2012-04-30)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from p.t.groth@vu.nl on 2012-04-30)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from jcheney@inf.ed.ac.uk on 2012-04-30)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from L.Moreau@ecs.soton.ac.uk on 2012-04-30)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from p.t.groth@vu.nl on 2012-04-30)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from L.Moreau@ecs.soton.ac.uk on 2012-04-30)
- Re: PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from p.t.groth@vu.nl on 2012-04-30)
- PROV-ISSUE-370 (tracedTo-inference-only): Should tracedTo be moved to prov-constraints and be defined as a binary relation that can be inferred [prov-dm] (from sysbot+tracker@w3.org on 2012-04-30)
Related notes:
No additional notes.
Display change log