Re: Types and "join compatibility"

From: paul c <toledobythesea_at_oohay.ac>
Date: Sun, 31 Jul 2005 00:38:52 GMT
Message-ID: <w4VGe.71372$s54.30383_at_pd7tw2no>


Marshall Spight wrote:
> paul c wrote:
>

>>Marshall Spight wrote:
>>
>>
>>>...
>>>(read ":" as "has type"; P for parent, C for child)
>>>Relation PR : (a : P)
>>>Relation CR : (a : C)
>>>
>>>What is the type of PR join CR?
>>>
>>>Date&Darwen's TTM says it's a relation of type (a : P).
>>>...
>>
>>where does it say that?

>
>
> In the 2nd edition, page 287. IM Prescription 13.
>
>
> Marshall
>

well, pardon me, i read (past tense) it the other way! promise i'll look again tomorrow when i'm not into the plonk.

p Received on Sun Jul 31 2005 - 02:38:52 CEST

Original text of this message