Re: completeness of the relational lattice

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 - 15:29:29 CDT