> > 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 Sat Feb 28 2004 - 22:53:30 CST
