REDCUED adde to the SPARQL algebra

I've now added REDUCED into the algebra (sec 12) peoperly now.  It didn't make 
the LC doc due to time.

The key definition that defines the cardinality is:

"""card[Reduced(X)](y) is between 1 and card[X](y)"""

X is a sequnce, y a solution in the sequence.  See rq25.

and there is a note after the defintion:

"""
The Reduced solution sequence modifier does not guarantee a defined cardinality.
"""

 Andy

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

Received on Thursday, 3 May 2007 14:30:52 UTC