Re: More on lists and sets
From: Jan Hidders <hidders_at_gmail.com>
Date: 28 Mar 2006 05:32:00 -0800
Message-ID: <1143552720.611386.207500_at_i40g2000cwc.googlegroups.com>
Date: 28 Mar 2006 05:32:00 -0800
Message-ID: <1143552720.611386.207500_at_i40g2000cwc.googlegroups.com>
Mikito Harakiri wrote:
> JOG wrote:
> > Marshall Spight wrote:
> > > ... approach.
> > (found at [http://arxiv.org/pdf/cs.DB/0501053])
>
> Less chatty version:
> http://arxiv.org/ftp/cs/papers/0603/0603044.pdf
Mikito, do you know if Vadim's axiomatization is complete? I mean, are two queries equivalent iff the algebraic identities allow me to rewrite one to the other? Or might there still be algebraic identities missing?
- Jan Hidders