Re: Types and "join compatibility"

From: paul c <toledobythesea_at_oohay.ac>
Date: Sat, 30 Jul 2005 23:46:27 GMT
Message-ID: <njUGe.69657$5V4.25476_at_pd7tw3no>


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?

> ...

pc Received on Sun Jul 31 2005 - 01:46:27 CEST

Original text of this message