Andy Seaborne created JENA-1963:
-----------------------------------
Summary: Optimizer problem with NOT EXISTS and
TransformFilterImplicitJoin
Key: JENA-1963
URL: https://issues.apache.org/jira/browse/JENA-1963
Project: Apache Jena
Issue Type: Bug
Reporter: Andy Seaborne
Attachments: D-exists.ttl, Q-exists.rq
This is an example from the SPARQL 1.1 spec.
It was reported to me directly and I refined it to isolate the problem to
{{TransformFilterImplicitJoin}}.
Run with normal optimziation, we get the wrong answer:
{noformat}
~/tmp >> sparql --data D-exists.ttl --query Q-exists.rq
------------
| x | n |
============
| :b | 3.0 |
| :a | 1 |
------------
{noformat}
With {{--strict}}, {{--engine=ref}} or switching off just that one transform,
we get the right answer.
{noformat}
~/tmp >> sparql --set=arq:optFilterImplicitJoin=false --data D-exists.ttl
--query Q-exists.rq
------------
| x | n |
============
| :b | 3.0 |
------------
{noformat}
--
This message was sent by Atlassian Jira
(v8.3.4#803005)
