REDUCED tests

I added the following tests.

syntax-sparql5/manifest#syntax-reduced-01
syntax-sparql5/manifest#syntax-reduced-02

reduced/manifest#reduced-1
reduced/manifest#reduced-2

The latter two are rdf:type'd as both mf:QueryEvaluationTest and also as 
mf:ReducedCardinalityTest. The intended semantics of the latter is:

+ The given mf:result for a mf:ReducedCardinalityTest is the results as 
if the REDUCED keyword were omitted. To pass a 
mf:ReducedCardinalityTest, an implementation must produce a result set 
with each solution in the expected results appearing at least once and 
no more than the number of times it appears in the expected results. Of 
course, there must also be no results produced that are not in the 
expected results.

(More elegant wording welcomed.)

I haven't run them. Sorry - if someone could run them and let me know if 
they pass or not, that would be great.

We'll look at these for approval on Tuesday.

Lee

Received on Friday, 9 November 2007 06:28:02 UTC