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>


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
Received on Sun Apr 09 2006 - 16:07:53 CEST

Original text of this message