Re: set builder notation for relational division

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 - 12:39:33 CDT