Re: completeness of the relational lattice
From: Vadim Tropashko <vadimtro_invalid_at_yahoo.com>
Date: Tue, 26 Jun 2007 13:29:29 -0700
Message-ID: <1182889769.669708.83700_at_i38g2000prf.googlegroups.com>
Date: Tue, 26 Jun 2007 13:29:29 -0700
Message-ID: <1182889769.669708.83700_at_i38g2000prf.googlegroups.com>
On Jun 26, 10:55 am, Vadim Tropashko <vadimtro_inva..._at_yahoo.com>
wrote:
> 13b: S /\ 00 = S and H /\ 00 = H and S \/ H != 00 and S /\ H = H'
> imply
> ((R /\ <S \/ 1E>) \/ H) /\ <S \/ 1E> = (R /\ <S \/ 1E>) \/ H'
Hmm, the S \/ H != 00 condition doesn't seem to be required. So rewritten a little the axiom
S /\ 00 = S and H /\ 00 = H imply
((R /\ <S \/ 1E>) \/ H) /\ <S \/ 1E> = (R /\ <S \/ 1E>) \/ (H /\ <S \/ 1E>)
looks like some kind of modularity law... Received on Tue Jun 26 2007 - 22:29:29 CEST