[
https://issues.apache.org/jira/browse/JENA-1963?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Andy Seaborne updated JENA-1963:
--------------------------------
Affects Version/s: Jena 3.16.0
> 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
> Affects Versions: Jena 3.16.0
> Reporter: Andy Seaborne
> Priority: Major
> 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)
