Re: Guessing?

From: paul c <toledobysea_at_ac.ooyah>
Date: Thu, 19 Jun 2008 20:21:57 GMT
Message-ID: <Fdz6k.38063$gc5.21554@pd7urf2no>


paul c wrote:
...
> But if SSP happens to contain that tuple, I'd say projection allows us
> to also infer the proposition "there is a supplier S1 with name Smith",
> ie., the tuple < S1, Smith> is true. This could satisfy the predicate
> for S and similarly there is a proposition that could satisfy the
> predicate for SP, eg., the tuple < P1, 100> is true. ...

Correction, sorry, eg., the tuple < S1, P1, 100> is true. Received on Thu Jun 19 2008 - 15:21:57 CDT

Original text of this message