Re: Definitions and provenance and invariance

I would say you can talk about the provenance of that view. But, to be clear, the fact that some properties are "declared" to be 
fixed (constant), for example by saying that "the creator is {invariant, immutable, constant,...}",  should have nothing to do with 
provenance.  It's in the semantics of the "thing" and its properties, I hope we agree on this? In a data model, one would enforce a 
constraint to avoid "creator" being updated, to reflect the intended semantics of the property. Is this what we mean by "fixed"?  
And even then, that's assuming too much already: updates to "creator" may be acceptable if the original value is found to be wrong, 
for example.

-Paolo

On 6/26/11 9:56 AM, Pgroth wrote:
> For my clarification, once an asseter  has an invariant view of some stuff the asserter can talk about the stuff's provenance with respect to the set of properties that have been declared fixed?
>
> Thanks
> Paul

Received on Sunday, 26 June 2011 11:11:02 UTC