Relation contains Objects

"James" <jraustin1_at_hotmail.com> wrote in message news:a6e74506.0206130953.65879669_at_posting.google.com...
> > > Below is the 'updated' OO model with proof of equivalence to a
> > > relation:
> >
> > Your so-called "proof" omits the generic operations such as restriction,
> > projection, cartesian product, join, rename, extension, summary, union,
> > intersection and difference. Not to mention update. Or insert of
> > n-dimensional tuples.
>
> One need not prove "generic operations ... n-dimensional tuples"
> because they have already been proven by the Relational Mathematics.
>
> One only needs to prove that the oo model describes the same concept
> as a relation.

You have not demonstrated the equivalence unless you demonstrate the generic operations as well -- they are part and parcel of the generic relation type.

Even were you to demonstrate the generic operations, you would have to contend with Occam's Razor. Received on Thu Jun 13 2002 - 21:39:46 CEST