W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > October to December 2011

Re: Minor error in SPARQL Update 4.2.5

From: Axel Polleres <axel.polleres@deri.org>
Date: Mon, 17 Oct 2011 20:57:22 +0200
Cc: "SPARQL Working Group" <public-rdf-dawg@w3.org>
Message-Id: <2BD3B9CF-BD43-4862-BF36-D5FA44E709AE@deri.org>
To: Andy Seaborne <andy.seaborne@epimorphics.com>
Thanks Andy for spotting this. 
Fixed in the editor's draft on CVS, see http://www.w3.org/2009/sparql/docs/update-1.1/Overview.xml

As for the stray '{' that actually was missing the closing '}' and meant to denote the Dataset-UNION over a set (of datasets).
I added a clarifying remark for this slight abuse of notation now after the definition of Dataset-UNION:

--------
<p>Note that, in the following, when we write Dataset-UNION( <em>X</em> ) where <em>X</em> = {DS<sub>1</sub>,DS<sub>2</sub>,... ,DS<sub>n</sub>} is a set of datasets, we understand this as a shorthand for Dataset-UNION(DS<sub>1</sub>, Dataset-UNION(DS<sub>2</sub>( ... , Dataset-UNION(DS<sub>n</sub>),{}) ... ).
</p>
--------

Axel


On 14 Oct 2011, at 20:37, Andy Seaborne wrote:

> The definition in 4.2.5 Dataset( QuadPattern, P, DS, GS )
> 
> uses:
> 
> Dataset(QuadPattern, μ)
> 
> but should be
> 
> Dataset(QuadPattern, μ, DS, GS)
> 
> and there is a stray {
> 
> I think is should be:
> 
> Dataset(QuadPattern, P, DS, GS ) =
>        Dataset-UNION( Dataset(QuadPattern, μ, DS, GS)
>                       | μ in eval'(DS(DG),P) )
> 
>         Andy
> 
> 
Received on Monday, 17 October 2011 18:57:52 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:46 GMT