Re: First feedback on MINUS

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?

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

Or something else?

Lee

> 
> Cheers,
> Simon
> 

Received on Thursday, 9 July 2009 16:09:36 UTC