Date: Thu, 19 Jun 2008 20:21:57 GMT
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 - 22:21:57 CEST