Re: General semantics

Tegiri Nenashi wrote:
> On May 19, 4:58 pm, paul c <toledobythe..._at_oohay.ac> wrote:

>> Tegiri Nenashi wrote:
>>> ...
>>>  "relations aren't domains" sounds like some dogma. In my system
>>> domains are unary relations (or predicates if the term "relation" is
>>> reserved for finite sets of tuples).
>> In that case, unary relations have more operators than other relations,
>> not a complication I'd like to deal with.

I had aggregates in mind. I can think of two uses for plus, one involving relations per se and the other involving attributes. But 'sum' is something else. I'd say it deals with a set that is not a relation. Received on Thu May 20 2010 - 03:58:02 CEST