[JENA-1167] Variables used in a filter and then defined are not handled properly by the join strategy.

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: Jena 3.0.1
• Fix Version/s: Jena 3.1.1
• Component/s: ARQ
• Assignee: Andy Seaborne
• Reporter: Andy Seaborne
• Created: 21/Apr/16 13:18
• Updated: 29/Apr/18 15:10
• Resolved: 06/Jun/16 15:34

Description

Query: Q.rq
     1	PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
     2	PREFIX ex:  <http://example.com/>
     3	SELECT ?label {
     4	    {
     5	        FILTER (bound(?arg1))
     6	    }
     7	    ?arg1 rdfs:label ?label
     8	}
     9	VALUES ?arg1 { ex:a  UNDEF }
Data: D.ttl
     1	@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
     2	@prefix ex: <http://example.com/>.
     3	
     4	ex:a rdfs:label "A".
     5	ex:b rdfs:label "B".
Execute: qparse --print=op --print=opt --query Q.rq
(prefix ((rdfs: <http://www.w3.org/2000/01/rdf-schema#>)
         (ex: <http://example.com/>))
  (project (?label)
    (join
      (join
        (filter (bound ?arg1)
          (table unit))
        (bgp (triple ?arg1 rdfs:label ?label)))
      (table (vars ?arg1)
        (row [?arg1 ex:a])
        (row)
      ))))
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
(prefix ((rdfs: <http://www.w3.org/2000/01/rdf-schema#>)
         (ex: <http://example.com/>))
  (project (?label)
    (sequence
      (table (vars ?arg1)
        (row [?arg1 ex:a])
        (row)
      )
      (sequence
        (filter (bound ?arg1)
          (table unit))
        (bgp (triple ?arg1 rdfs:label ?label))))))
Execute: sparql --engine=ref --query Q.rq --data D.ttl
---------
| label |
=========
---------
Execute: sparql --query Q.rq --data D.ttl
---------
| label |
=========
| "A"   |
---------

Issue Links

• is related to: JENA-1534 Variables in EXISTS must be considered for the join strategy
• relates to: JENA-1275 TransformScopeRename does the wrong thing with FILTER NOT EXISTS
• relates to: JENA-1280 JoinClassifer is too cautious with EXISTS variables.