Re: Question on the SPARQL spec

Yes. This is correct in the editor's draft.

http://www.w3.org/2001/sw/DataAccess/rq23/rq25.html

Lee

Francis McCabe wrote:
> 
> The semantics of LeftJoin read
> 
> Definition: LeftJoin
> Let Ω1 and Ω2 be multisets of solution mappings and F a filter. We define:
> 
> LeftJoin(Ω1, Ω2, expr) = Filter(expr, Join(Ω1, Ω2)) set-union Diff(Ω1, 
> Ω2, expr)
> 
> card[LeftJoin(Ω1, Ω2, expr)](μ) = card[Filter(expr, Join(Ω1, Ω2))](μ) + 
> card[Diff(Ω1, Ω2, expr)](μ)
> 
> 
> 
> Presumably, this should read
> 
> Definition: LeftJoin
> 
> Let Ω1 and Ω2 be multisets of solution mappings and expr a filter. We 
> define:
> 
> LeftJoin(Ω1, Ω2, expr) = Filter(expr, Join(Ω1, Ω2)) set-union Diff(Ω1, 
> Ω2, expr)
> 
> card[LeftJoin(Ω1, Ω2, expr)](μ) = card[Filter(expr, Join(Ω1, Ω2))](μ) + 
> card[Diff(Ω1, Ω2, expr)](μ)
> 
> 
> 
> 
> Frank McCabe
> 
> 
>