Re: definition of "potentially bound" variable

• From: Andy Seaborne <andy.seaborne@epimorphics.com>
• Date: Tue, 14 Sep 2010 10:44:35 +0100
• To: Axel Polleres <axel.polleres@deri.org>
• CC: SPARQL Working Group <public-rdf-dawg@w3.org>
• Message-ID: <4C8F4403.2060400@epimorphics.com>

On 14/09/10 09:58, Axel Polleres wrote:
> As for ACTION-304 I started a formal definition of "potentially bound" variable at
>
> http://www.w3.org/2009/sparql/wiki/Potentially_bound
>
> this is not finished, but just to get the direction clear, based on that we can hopefully redefine "*".

Added MINUS (only the LHS), SERVICE and GROUP BY (assuming name 
introduction in GROUP BY)

The other definitions need to work with GROUP BY which hides the non-key 
variables variables.  To do this, it would seem easier to define the 
concept recursively, not declaratively.

BINDINGS?

	Andy

Received on Tuesday, 14 September 2010 09:45:12 UTC