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

Re: [tests] Test for GROUP BY

From: Steve Harris <steve.harris@garlik.com>
Date: Fri, 1 Oct 2010 13:57:39 +0100
Cc: SPARQL Working Group <public-rdf-dawg@w3.org>
Message-Id: <A34A136B-39F3-40C4-A434-DAAF9B17A87E@garlik.com>
To: Andy Seaborne <andy.seaborne@epimorphics.com>
On 2010-10-01, at 10:15, Andy Seaborne wrote:
> The definition:
> 
> [[
> Group(ExprList, Ω) = { ListEval(ExprList, μ) -> { μ' | μ' in Ω, ListEval(ExprList, μ) = ListEval(ExprList, μ') } | μ in Ω }
> ]]
> 
> uses "ExprList" which does not remove errors. It would be worth adding this to ListEval (changes suggested marked __)
> 
> [[
> Definition: ListEval
> 
> ListEval(ExprList, μ) returns a list E, where Ei =
> μ(ExprListi) _or error_.
> 
> _ListEval retains errors in evaluation of the list elements._
> 
> A variant, ListEvalE, is the same except that all elements of E which are errors are removed.
> ]]

I need to think about this to make sure it captures the intention correctly.

...

> Editorial:
> 
> Defn: Group
> s/from explitic groups/from explicit groups/
> 
> but I'd suggest
> "from groups where the ExprList is non-empty"
> 
> because the text causes me to ask "what's an _explicit_ group".

Yes, agreed that's clearer.

- Steve

-- 
Steve Harris, CTO, Garlik Limited
1-3 Halford Road, Richmond, TW10 6AW, UK
+44 20 8439 8203  http://www.garlik.com/
Registered in England and Wales 535 7233 VAT # 849 0517 11
Registered office: Thames House, Portsmouth Road, Esher, Surrey, KT10 9AD
Received on Friday, 1 October 2010 12:58:49 GMT

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