Re: "Unbound" in SPARQL

We're mixing several things here:

1/ What happens with AS in SELECT when the expression evaluates to an error.
2/ What happens for aggregates of empty groups.
3/ What happens with errors in the expression being aggregated.

Another design to consider, is (case 1) that

   error AS ?x

leaves ?x unbound and (2) aggregates of empty sets are errors.

We then have what aggregates do about errors in their aggregate 
expression (case 3).  Skip or error.  I prefer skip because I want 
SUM(xsd:integer(?x)) to return something.

-----

To move forward, I think we should start to systematically look at use 
cases (and so get test cases).  We have been using examples to probe 
designs - now we should use them to define what matters most.  Let's not 
forget the simple cases.

Please could people contribute the cases they think matter most.  Does 
not have to a massive example: data/query/results are ideal but just 
query+description would be useful.

	Andy

Received on Tuesday, 17 November 2009 14:32:25 UTC