Re: more closed-world chatter
From: Jon Heggland <jon.heggland_at_idi.ntnu.no>
Date: Fri, 11 May 2007 12:18:00 +0200
Message-ID: <f21fvv$f7t$1_at_orkan.itea.ntnu.no>
Date: Fri, 11 May 2007 12:18:00 +0200
Message-ID: <f21fvv$f7t$1_at_orkan.itea.ntnu.no>
Vadim Tropashko wrote:
> I suggest [anti]join as a generalized minus. The generalized Date
> identity is:
>
> (A /\ B) \/ (A /\ 00) = A \ (A \ B)
>
> where /\ is join, \/ is generalized union, and \ is antijoin.
-- JonReceived on Fri May 11 2007 - 12:18:00 CEST