Re: General semantics

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 assume by "operators" you mean something other than relational algebra operations. Something like arithmetic plus. I'd suggest the later is actually a relation and one may benefit from making this idea explicit:

http://vadimtropashko.wordpress.com/relational-programming-with-qbql/ Received on Thu May 20 2010 - 03:46:06 CEST