Re: First feedback on MINUS

Am Donnerstag, den 09.07.2009, 12:08 -0400 schrieb Lee Feigenbaum:
> Simon Schenk wrote:
> > After some chatting with colleagues:
> > 
> > 1) Whatever semantics we choose, the operator should not be called
> > MINUS, as its semantics is not even roughly clear intuitively.
> > 
> > 2) A restriction to min. 1 shared variable is not intuitive.
> 
> Simon, does #2 mean explicitly that your colleagues expect that
> 
> {?a="a"} MINUS {?b="b"} = no solutions?

exactly.

> Or does it mean that your colleagues are uncomfortable with the 
> restriction from an implementation or theoretic point of view?

both. :)

Cheers,
Simon

> Or something else?
> 
> Lee
> 
> > 
> > Cheers,
> > Simon
> > 
-- 
Simon Schenk | ISWeb | Uni Koblenz
http://isweb.uni-koblenz.de
http://www.uni-koblenz.de/~sschenk
Five sentences policy: http://five.sentenc.es/