problem with proposal B and algebra simplification

I thought that I had already reported this problem with proposal B, but
maybe not.


The translation to the SPARQL algebra may not produce any place for values
insertion to take place.  This is due to the simplification step in
18.2.2.8.

For example, the graph pattern
 { VALUES ?x ( ex:b ) }
is translated into an SPARQL algebra expression containing only a multiset,
something like
 {{ (x,ex:b) }}
This results in counterintuitive behaviour on queries like

SELECT ?x WHERE {
  BIND ( ex:a AS ?x )
  FILTER EXISTS { VALUES ?x ( ex:b ) }
}

peter

Received on Thursday, 9 March 2017 11:49:34 UTC