Re: Idempotence and "Replication Insensitivity" are equivalent ?
Date: Mon, 18 Sep 2006 20:55:15 -0600
Message-ID: <MPG.1f790a008990e69c989713_at_news.altopia.net>
William Hughes <wpihughes_at_hotmail.com> wrote:
> You are correct.
>
I happen to be reading both discussions. Perhaps it's better to say that Pamela is right about what she proposed here in the sci.math newsgroup. The real question is more like this. (This is a rough attempt at formalizing the notion of aggregate functions. It may contain errors.)
h(a, P) = h(g(a, b), P - {b})
As a technical detail, h remains undefined when its value depends on the choice of b. In practice, g should be chosen so that this never happens.
5. Let f: M(A) -> A be a function defined as follows. To evaluate f(P),
choose an arbitrary member a from P.
f(P) = h(b, P - {a})
As with h, f is undefined if its value depends on the choice of a, and g is expected to be chosen so that this cannot occur.
-- Chris SmithReceived on Tue Sep 19 2006 - 04:55:15 CEST