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

Re: smaller example

From: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Date: Thu, 16 Jun 2011 11:03:29 +0100
Message-ID: <BANLkTikGDAcgaRbZbD9t2LLjihMPqX2JuA@mail.gmail.com>
To: Provenance Working Group WG <public-prov-wg@w3.org>
On Mon, Jun 13, 2011 at 19:30, Myers, Jim <MYERSJ4@rpi.edu> wrote:


> For A and B, both of which are "things", B is an  IVP of A iff
> * A and B represent the same entity/part of the real world at some
> instant in time (the set of properties they share must have identical
> values at that instant), and
> * there is/are mutable property(ies) of A that is/are correspond to
> immutable property(ies) of B (i.e. ones that are integral to B's
> identity)

This sounds like a very reasonable definition. So an IVP B of A simply
means that A's immutable properties is a subset of B's immutable
properties - A is a "freer version" of B. I guess standard database
theory with candidate vs primary key applies.

Now we just need a better name!

-- 
Stian Soiland-Reyes, myGrid team
School of Computer Science
The University of Manchester
Received on Thursday, 16 June 2011 10:04:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:31 GMT