Re: another problem with Proposal B

I'm not sure what you are asking, but the issue is that a
 Join(Z,empty multiset)
is simplified to
  empty multiset

peter


On 04/13/2017 02:04 PM, james anderson wrote:
> good evening;
> 
>> On 2017-04-13, at 21:50, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote:
>>
>> [ā€¦] This removes the
>> initial empty BGP in many group graph patterns, including
>>  { VALUES ?junk { } BIND ( ?this AS ?that ) ?that a ex:bad . }
>> resulting in
>>  Join( Extend( empty multiset, ?that, ?this ), BGP( ?that a ex:bad ) )
> 
> are these the same with respect to ā€œZā€ and simplification?
> 
>      { VALUES ?junk { } BIND ( ?this AS ?that ) ?that a ex:bad . }
> 
> and
> 
>      { { } BIND ( ?this AS ?that ) ?that a ex:bad . }
> 
> best regards, from berlin,
> 
> 
> 
> 

Received on Thursday, 13 April 2017 21:12:10 UTC