[ https://issues.apache.org/jira/browse/JENA-1280?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Andy Seaborne updated JENA-1280: -------------------------------- Summary: JoinClassifer is too cautious with EXISTS variables. (was: JoinClassifer is too cautious with EXIST variables.) > JoinClassifer is too cautious with EXISTS variables. > ---------------------------------------------------- > > Key: JENA-1280 > URL: https://issues.apache.org/jira/browse/JENA-1280 > Project: Apache Jena > Issue Type: Bug > Components: ARQ > Affects Versions: Jena 3.1.1 > Reporter: Andy Seaborne > Assignee: Andy Seaborne > > This query > {noformat} > SELECT * { > :s :p ?g # ?g > GRAPH ?g { # ?g > :s1 :p1 ?x > FILTER EXISTS { ?s ?p ?o } > } > } > {noformat} > is not executed as a {{(sequence)}} because there are variables in the > {{FILTER}} that appear to be not bound: {{?s}} etc in {{EXISTS}}. If it were > a function, this would be correct but {{EXISTS}} is different. > Variables only in an {{EXISTS}} BGP patterns should not contribute to the > unsafe variables of a {{FILTER}}. > This query: > {noformat} > SELECT * { > ?s :p ?g # :s -> ?s > GRAPH ?g { > :s1 :p1 ?x > FILTER EXISTS { ?s ?p ?o } > } > } > {noformat} > is not safe to allow {{?s}} to substitute. This is correctly detected in > Jena 3.1.0. -- This message was sent by Atlassian JIRA (v6.3.4#6332)