- From: Axel Polleres <axel.polleres@deri.org>
- Date: Mon, 17 Oct 2011 20:57:22 +0200
- To: Andy Seaborne <andy.seaborne@epimorphics.com>
- Cc: "SPARQL Working Group" <public-rdf-dawg@w3.org>
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 UTC