Path: dp-news.maxwell.syr.edu!spool.maxwell.syr.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!border1.nntp.dca.giganews.com!nntp.giganews.com!postnews.google.com!b28g2000cwb.googlegroups.com!not-for-mail
From: "Marshall" <marshall.spight@gmail.com>
Newsgroups: sci.math,comp.databases.theory
Subject: Re: Idempotence and "Replication Insensitivity" are equivalent ?
Date: 24 Sep 2006 08:34:06 -0700
Organization: http://groups.google.com
Lines: 21
Message-ID: <1159112046.086014.307060@b28g2000cwb.googlegroups.com>
References: <1158852994.195700.314820@i42g2000cwa.googlegroups.com>
   <MPG.1f7c61886640a157989729@news.altopia.net>
   <1158854955.673605.116210@m73g2000cwd.googlegroups.com>
   <MPG.1f7c711f4bc1293898972b@news.altopia.net>
   <1158860945.836133.147790@m73g2000cwd.googlegroups.com>
   <MPG.1f7c890fdc95894998972d@news.altopia.net>
   <1158916325.760757.265290@k70g2000cwa.googlegroups.com>
   <1158937250.785041.128020@i42g2000cwa.googlegroups.com>
   <1158938953.346259.299510@i42g2000cwa.googlegroups.com>
   <1158942149.683309.123640@d34g2000cwd.googlegroups.com>
   <1158943301.858418.110200@i42g2000cwa.googlegroups.com>
   <1158950770.353236.216420@m7g2000cwm.googlegroups.com>
   <1158970717.382742.21630@h48g2000cwc.googlegroups.com>
   <1158972230.961294.94250@d34g2000cwd.googlegroups.com>
   <1159027170.906611.243230@m7g2000cwm.googlegroups.com>
   <1159110329.121576.95730@h48g2000cwc.googlegroups.com>
NNTP-Posting-Host: 24.4.95.46
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1159112050 17047 127.0.0.1 (24 Sep 2006 15:34:10 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sun, 24 Sep 2006 15:34:10 +0000 (UTC)
In-Reply-To: <1159110329.121576.95730@h48g2000cwc.googlegroups.com>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.0.7) Gecko/20060909 Firefox/1.5.0.7,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: b28g2000cwb.googlegroups.com; posting-host=24.4.95.46;
   posting-account=s2xCFw0AAAD2mIwYYHAqjdsecwG0axmW
Xref: dp-news.maxwell.syr.edu sci.math:681003 comp.databases.theory:45302

Aloha Kakuikanu wrote:
> Marshall wrote:
> >
> > Most of that I get, but I don't see how min and max fit in.
> > How is min related to conjunction? How is max related
> > to disjunction?
>
> Lets's talk about binary operations first. Conjunction and min are the
> same operations. Likewise disjunction and max. They obey the same set
> of lattice laws. Min and max are defined on numbers: integers, reals,
> etc. Conjunction and disjunction is defined on boolean algebras.
>
> When writing  /\(capital) and \/(capital) I referred to n-ary (or
> aggregate) variants of conjunction and disjunction which are more
> commonly known in logic as existential and universal predicates.

Makes sense; thanks.


Marshall