Re: more on delete from join

On Sep 1, 11:15 am, Vadim Tropashko <vadim..._at_gmail.com> wrote:
> OK, here is a simpler question: is the system
>
> x v y = u
> x ^ y = w
>
> underconstrained, or it could be solved in terms of x and y
>
> x = f(u,w)
> y = g(u,w)
>
> ? One of the basic RL results is that it is undeconstrained!

It is under constrained even in Boolean Algebra:

v:
011
100

---
111

^:
011
100
---
000

versus:

v:
001
110
---
111

^:
001
110
---
000