ISSUE-474: Bundles and valid instances

instances-and-bundles

Bundles and valid instances

State:

CLOSED

Product:

prov-dm-constraints

Raised by:

Simon Miles

Opened on:

2012-08-09

Description:

As requested, I'm submitting an issue where I feel a PROV-Constraints review comment of mine is not completely answered.

My original comment:
> Bundles
> -------
> F. Section 6.1 seems a bit out of the blue. "The definitions
> [etc.]... assume a PROV instance with exactly one bundle", and then
> multiple bundles are handled as exactly the same number of
> instances. Why? Why is there a connection between number of instances
> and number of bundles? Why would a bundle be considered to be only one
> instance? I thought a bundle was an identified set of statements,
> allowing for provenance of provenance, which seems a distinct matter
> from whether a set of statements are valid. It seems fine for a user
> to treat one bundle as one instance if they want to, but there's no
> reason given why this is the general case.

Response from editors:
> I am not sure I understand this comment. However, I have rewritten
> slightly the intro of section 6.1.
>
> "The definitions, inferences, and constraints, and the resulting notions of normalization, validity and equivalence, assume a PROV instance that consists of exactly one bundle, the toplevel bundle, containing all PROV statements in the top level of the bundle (that is, not enclosed in a named bundle). In this section, we describe how to deal with PROV instances consisting of multiple named bundles. Briefly, each bundle is handled independently; there is no interaction between bundles from the perspective of applying definitions, inferences, or constraints, computing normal forms, or checking validity or equivalence."

I agree this is clearer, but I don't feel it answers the key questions in my comment. To put my comment another way: you have explained checking validity where an instance consists of one bundle and of multiple bundles. The two other possibilities I see are:
(a) A bundle containing multiple instances;
(b) An instance that is a collection of PROV descriptions with no identifier and so is not a bundle, e.g. a provenance service query result.

How do we deal with each of these cases? Or, if they cannot occur, why not?

Thanks,
Simon

Related Actions Items:

No related actions

Related emails:

1. Re: PROV-ISSUE-477 (rename toplevel-bundle): rename toplevel-bundle to dataset [prov-n] (from l.moreau@ecs.soton.ac.uk on 2012-10-16)
2. Re: PROV-ISSUE-477 (rename toplevel-bundle): rename toplevel-bundle to dataset [prov-n] (from l.moreau@ecs.soton.ac.uk on 2012-09-03)
3. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from p.t.groth@vu.nl on 2012-08-29)
4. Re: PROV-ISSUE-477 (rename toplevel-bundle): rename toplevel-bundle to dataset [prov-n] (from p.t.groth@vu.nl on 2012-08-29)
5. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-16)
6. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from ivan@w3.org on 2012-08-14)
7. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from graham.klyne@zoo.ox.ac.uk on 2012-08-14)
8. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-14)
9. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from GK@ninebynine.org on 2012-08-13)
10. Re: PROV-ISSUE-477 (rename toplevel-bundle): rename toplevel-bundle to dataset [prov-n] (from jcheney@inf.ed.ac.uk on 2012-08-10)
11. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-10)
12. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-08-10)
13. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-10)
14. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from ivan@w3.org on 2012-08-10)
15. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-10)
16. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-08-10)
17. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from ivan@w3.org on 2012-08-10)
18. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-10)
19. Re: PROV-ISSUE-477 (rename toplevel-bundle): rename toplevel-bundle to dataset [prov-n] (from ivan@w3.org on 2012-08-10)
20. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from ivan@w3.org on 2012-08-10)
21. PROV-ISSUE-477 (rename toplevel-bundle): rename toplevel-bundle to dataset [prov-n] (from sysbot+tracker@w3.org on 2012-08-10)
22. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-08-10)
23. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-10)
24. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-08-10)
25. RE: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from simon.miles@kcl.ac.uk on 2012-08-09)
26. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-09)
27. RE: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from simon.miles@kcl.ac.uk on 2012-08-09)
28. Re: PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-09)
29. PROV-ISSUE-474 (instances-and-bundles): Bundles and valid instances [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-08-09)

Related notes:

No additional notes.

Display change log