Re: object algebra

> > Given EyeColor = {red, brown, NOT_APPLICABLE}
> > Given the table:
> > Person EyeColor
> > ------ --------------
> > Mary NOT_APPLICABLE
> > Bob NOT_APPLICABLE
> >
> > Then, Mary.EyeColor equals Bob.EyeColor leading an AI[type] program to
> > conclude that Mary and Bob have the same EyeColor.
>
> All of Bob's eyes have the same color as all of Mary's eyes.
> What is the problem?

This exemplifies Date's observation on p586: "3VL suffers from the very serious ("showstopper") problem that it does not match reality - that is, results that are correct according to 3VL are sometimes incorrect in the real world". Received on Sun Feb 29 2004 - 05:53:30 CET