[jira] [Created] (JENA-1963) Optimizer problem with NOT EXISTS and TransformFilterImplicitJoin

["Andy Seaborne (Jira)" <ji...@apache.org>]

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)