- From: james anderson <james@dydra.com>
- Date: Tue, 18 Apr 2017 16:32:58 +0000
- To: public-sparql-exists@w3.org
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?
best regards, from berlin,
---
james anderson | james@dydra.com | http://dydra.com
Received on Tuesday, 18 April 2017 16:33:35 UTC