Re: More on lists and sets

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