Re: choice of character for relational division

Bob Badour wrote:

Marshall wrote:

Let us consider the choice of characters to use for
relational operators. It might be desirable to use
different characters for the relational operators from
the scalar ones, so we avoid using * for join, even
though it is in some sense a product operator.

Set subtraction already has a standard character
in common usage: \

But we also need a character for relational division.
The / character is often used, but that's the same
as numerical division. Bummer.

So, if you had to choose an ascii character for
relational division, which one would you use
and why?


Does a unique relational "division" exist? If "product" has a completely different name "join", why should a "divide" use the same name?

If we have an equality operation for relations, does a "divide" operation give us all that much?

Hmmmm... and division isn't really the inverse of join. It is the inverse of cross product which is a special case of join. Is the divide operation you contemplate the inverse of cross product or a more general operation which is the inverse of join?
.

Relevant Pages

  • Re: Why is it dangerous?
    ... one-bit error reading a '\n' character causes two lines to be merged, ... number of other routines) can avoid having it cause a buffer overflow. ... Chuck's reply upthread could be read as a claim that using ggets() can ...
    (comp.lang.c)
  • Re: What is work?
    ... Ice series has me hooked. ... concept often enough that I try to avoid them until ... character," you're wrong. ... reason. ...
    (rec.arts.sf.composition)
  • Re: Eternal War - TODs new game world concept
    ... > avoid the feeling that your character is the only actually "acting" ...
    (rec.games.roguelike.development)
  • Re: Final Crisis: Requiem
    ... his own personal rules to discount it, or argues inappropriate semantics ... to avoid it, or distorts it, or whatever else. ... a character who is missing presumed dead as one that he helped bury. ... Clearly he's skipping reading my posts and only reading his, ...
    (rec.arts.comics.dc.universe)
  • Re: What is work?
    ... Ice series has me hooked. ... concept often enough that I try to avoid them until ... character," you're wrong. ... much care about any of the characters in the first place. ...
    (rec.arts.sf.composition)