Re: Relational symmetric difference is well defined

On Jun 19, 7:50 am, Jan Hidders <hidd..._at_gmail.com> wrote:
> On 19 jun, 16:30, "V.J. Kumar" <vjkm..._at_gmail.com> wrote:
> > {(x,z)| (Forall y : A(x,y) <-> B(y,z) }

IMO this formula is much more appreciated now (after 12 exchanges:-) than if Jan posted it immediately to support his statement:

"The semantics themselves are clearly first order since they can be defined in first order logic or the flat relational algebra"

Thanks, Val and Jan. Received on Tue Jun 19 2007 - 11:58:33 CDT