[jira] [Created] (JENA-706) wrong assignment in filter evaluation

[JIRA]

Jürgen Umbrich created JENA-706:
-----------------------------------

             Summary: wrong assignment in filter evaluation
                 Key: JENA-706
                 URL: https://issues.apache.org/jira/browse/JENA-706
             Project: Apache Jena
          Issue Type: Bug
          Components: ARQ
    Affects Versions: Jena 2.10.0
         Environment: Mac Os, Linux
            Reporter: Jürgen Umbrich
            Priority: Critical


Hi all, 
we believe we’ve spotted a bug in the current arq/jena release:

The following dummy data and query replicates the process:
---- DATA ---
@prefix : <http://example.org/> .
:a :b :c.
# :a :a :b .
----
---- QUERY 
SELECT DISTINCT *
WHERE{
  { { ?Y ?Z ?T }
    UNION
    { ?X ?Y <http://example.org/b> }
  }     
  FILTER (?X = ?Y)
}


$ arq --query query1.rq --data data02.ttl --explain
01:25:37 INFO  exec                 :: QUERY
 SELECT DISTINCT  *
 WHERE
   { {   { ?Y ?Z ?T }
       UNION
         { ?X ?Y <http://example.org/b> }
     }
     FILTER ( ?X = ?Y )
   }
01:25:37 INFO  exec                 :: ALGEBRA
 (distinct
   (assign ((?X ?Y))
     (union
       (bgp (triple ?Y ?Z ?T))
       (bgp (triple ?Y ?Y <http://example.org/b>)))))
01:25:37 INFO  exec                 :: BGP :: (?Y ?Z ?T)
01:25:37 INFO  exec                 :: Reorder :: (?Y ?Z ?T)
01:25:37 INFO  exec                 :: BGP :: (?Y ?Y <http://example.org/b>)
01:25:37 INFO  exec                 :: Reorder :: (?Y ?Y <http://example.org/b>)
-----------------------------------------------------------------------------------------------------
| Y                      | Z                      | T                      | X  
                    |
=====================================================================================================
| <http://example.org/a> | <http://example.org/b> | <http://example.org/c> | 
<http://example.org/a> |
——————————————————————————————————————————————————

particularly, the assign ((?X ?Y)) in the algebra expression is puzzling

Here our setup:
$ arq --version
Jena:       VERSION: 2.11.0
Jena:       BUILD_DATE: 2013-09-12T10:49:49+0100
ARQ:        VERSION: 2.11.0
ARQ:        BUILD_DATE: 2013-09-12T10:49:49+0100
RIOT:       VERSION: 2.11.0
RIOT:       BUILD_DATE: 2013-09-12T10:49:49+0100

verified on several platforms (mac os, Linux)
We originally spotted the bug in Fuseki:
It does not yet occur in 
 jena-fuseki-0.2.7-distribution.zip                    2013-05-15 13:38  9.2M
but seems to only occur since release 
 jena-fuseki-1.0.0-distribution.zip                    2013-09-18 09:11  
and later (also in 1.0.1)

best regards,



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