Jan Hidders wrote:
> JOG wrote:
> >
> > Imagine, f'rinstance, I have a data collection in which I have
> > propositions of dogs' names & ages and owners' names & ages. Both sets
> > of propositions would traditionally be represented as (name:x, age:y),
> > but yet are housed in separate relations to form my manipulable
> > datatbase. How exactly has this been determined by the set intension?
>
> Perhaps I misunderstand your question becuase the answer is trivial:
> they are modelled as the same relation if and only if the set intension
> is the same. Of course, formally defining when two set intensions are
> the same is hard or even impossible.
>
> -- Jan Hidders
I've been toying with viewing a database as a set of assertions, S,
which is split into relvars, defined as: R = { x E S : .... }. From
that viewpoint, I'm interested in what distinguishes assertions about
dogs names and owners names, so that the appropriate set 'collects'
them. If this is a fruitless exercise I'm more than happy to find that
out from yourself Jan.
Received on Tue Sep 19 2006 - 14:50:22 CDT
