Re: A Logical Model for Lists as Relations

On 12 May 2006 13:55:34 -0700, "JOG" <jog_at_cs.nott.ac.uk> wrote:

[snip]

>I am not sure that I'd qualify in lists as fundamental constructs at
>all. Ordered sets, fine, but elements that repeat. Is that conceptually
>sound? Take 1937-1955: (Chamberlain, Churchill, Attlee, Churchill).
>Churchill seems to appear twice, but I'd suggest that what you actually
>have is two completely seperate governments or terms, the domain being
>something like:
>
>{ (Chamberlain, 1937-40), (Churchill, 1940-45), (Attlee, 1945-51),
>(Churchill, 1951-55) }

     If the question is who was the PM -- and it is: see upthread -- you are sidestepping the issue. It is not as if this type of situation can not happen elsewhere. Grover Cleveland is the U.S. example. Sir John A. Macdonald is the Canadian example.

[snip]

>Lists. Fight em. On the Beaches.

"We will never surrender."

Sincerely,

Gene Wirchenko Received on Fri May 12 2006 - 23:10:23 CEST