Re: set builder notation for relational division
From: Vadim Tropashko <vadimtro_invalid_at_yahoo.com>
Date: 14 May 2007 10:39:33 -0700
Message-ID: <1179164373.173034.238520_at_n59g2000hsh.googlegroups.com>
Date: 14 May 2007 10:39:33 -0700
Message-ID: <1179164373.173034.238520_at_n59g2000hsh.googlegroups.com>
On May 13, 9:18 am, Marshall <marshall.spi..._at_gmail.com> wrote:
> If we want to generalize that, we could say
>
> A(a,b)
> B(b,c)
>
> A / B = {(a, c) | exists (a, b) in A forall (b, c) in B}
In domain calculus that would be:
A(x,y) / B(y,z) = {(x, z) | for all y : (y, z) in B -> (x, y) in A} Received on Mon May 14 2007 - 19:39:33 CEST