Re: REDUCED tests

Seaborne, Andy wrote:
> Lee Feigenbaum wrote:
>> I added the following tests.
>>
>> syntax-sparql5/manifest#syntax-reduced-01
>> syntax-sparql5/manifest#syntax-reduced-02
> 
> ARQ passes the syntax tests.
> 
>>
>> reduced/manifest#reduced-1
>> reduced/manifest#reduced-2
>> The latter two are rdf:type'd as both mf:QueryEvaluationTest

ARQ now passes these tests.

> 
> Some people may find it a nuisance to have two types on a test.  Maybe a 
> qualifier would be better in the style of requirements and notable 
> features.
> 
> My plan at the moment is to ignore this and ask the query if it is a 
> REDUCED syntax query.

My testing approach is to turn both query answers and test results into unique 
forms and compare.  This does not catch an implementation of REDUCED that 
introduces new, extra duplicates.

> 
>  > 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.

 Andy

-- 
  Hewlett-Packard Limited
  Registered Office: Cain Road, Bracknell, Berks RG12 1HN
  Registered No: 690597 England

Received on Friday, 9 November 2007 23:18:33 UTC