Re: another problem with Proposal B

good evening;

> On 2017-04-18, at 18:32, james anderson <james@dydra.com> wrote:
> 
> good evening;
> 
>> On 2017-04-18, at 17:50, Andy Seaborne <andy.seaborne@topquadrant.com> wrote:
>> 
>> […]
> 
> given
>>>    { VALUES ?junk { } BIND ( ?this AS ?that ) ?that a ex:bad . }
>> 
>> Similar, not same; there is an inner Z the start of the graph pattern. "Inner" in the sense that it ends up most nested in the algebra as the group graph pattern builds from left to right. The {} is part of the VALUES expression.
>> 
>> (join
>>   (extend ((?that ?this))
>>     (join
>>       (Z)
>>       (table empty)))
>>   (bgp (triple ?that rdf:type ex:bad)) )
> 
> which form yields the unit table?

i see, later in your text, your “table empty” is not the same as a “unit table”.
my confusion.

> 
> 
> best regards, from berlin,
> ---
> james anderson | james@dydra.com | http://dydra.com
> 
> 
> 
> 
> 
> 

Received on Tuesday, 18 April 2017 16:42:42 UTC