Re: By The Dawn's Normal Light

From: Marshall Spight <mspight_at_dnai.com>
Date: Sat, 23 Oct 2004 15:15:27 GMT
Message-ID: <jAued.174905$He1.49345_at_attbi_s01>


"Paul" <paul_at_test.com> wrote in message news:41793790$0$48009$ed2e19e4_at_ptn-nntp-reader04.plus.net...

>

> At the very extreme end, you could have a database with only one type,
> and only one type operator: the test for equality. Maybe not practically
> useful, but worth thinking about.

Actually, you could ditch the equality operator if for each type T you had a binary relation EQ such that for all a, b in T, (a,b) in EQ iff a = b.

Marshall Received on Sat Oct 23 2004 - 17:15:27 CEST

Original text of this message