[jira] [Created] (JENA-771) TransformExpandOneOf is not applied as expected

[Rob Vesse (JIRA)]

Rob Vesse created JENA-771:
------------------------------

             Summary: TransformExpandOneOf is not applied as expected
                 Key: JENA-771
                 URL: https://issues.apache.org/jira/browse/JENA-771
             Project: Apache Jena
          Issue Type: Bug
          Components: ARQ
    Affects Versions: Jena 2.12.0
            Reporter: Rob Vesse


We ran into a strange case where {{TransformExpandOneOf}} doesn't appear to get 
applied properly.

Consider the following query:

{noformat}
SELECT ?x
WHERE
{
  FILTER(true)
  {
    SELECT ?x
    WHERE
    {
      FILTER (?x NOT IN (1, 2, 3))
    }
  }
}
{noformat}

Which produces the following algebra:

{noformat}
(project (?x)
  (project (?x)
    (filter (exprlist true (notin ?x 1 2 3))
      (table unit))))
{noformat}

Note that the {{NOT IN}} was left in the expression form rather than being 
expanded to the equivalent {{!=}} expressions.

If the first {{FILTER}} line is commented out then the following algebra is 
produced:

{noformat}
(project (?x)
  (project (?x)
    (filter (exprlist (!= ?x 1) (!= ?x 2) (!= ?x 3))
      (table unit))))
{noformat}

So it looks like there is something going on that somehow blocks 
{{TransformExpandOneOf}} from working when another filter is in the same scope. 
 Possibly something related to filter placement?

This problem occurs as far back as 2.11.1 and can be reproduced with current 
trunk, it does not appear in 2.11.0 so must have been introduced in 2.11.1



--
This message was sent by Atlassian JIRA
(v6.2#6252)