Re: Relational lattice completeness
From: Jan Hidders <hidders_at_gmail.com>
Date: 9 Apr 2006 07:07:53 -0700
Message-ID: <1144591673.476108.307190_at_g10g2000cwb.googlegroups.com>
Date: 9 Apr 2006 07:07:53 -0700
Message-ID: <1144591673.476108.307190_at_g10g2000cwb.googlegroups.com>
Mikito Harakiri wrote:
>
> Tarski relation algebra appears not to have the union operator.
AFAIK both the cylindrical set algebra and the relation algebra by Tarski have both the union operator. See e.g.
http://citeseer.ist.psu.edu/vandenbussche01applications.html
- Jan Hidders