afs commented on issue #2896:
URL: https://github.com/apache/jena/issues/2896#issuecomment-2552276985

   This is a bug in the algorithm of SEP-0007. The algebra has a `(table unit)` 
inside a strict `join`.
   
   The `(table unit)` needs the binding injected but the algorithm does not 
consider that. Actually any `(table)` i.e. `VALUES`.
   
   ```lisp
   (lateral
     (extend ((?xIn "x"))
       (table unit))
     (join
       (extend ((?foo "foo"))
         (table unit))
       (project (?xIn ?xOut)
         (extend ((?xOut ?xIn))
           (table unit)))))
   ```
   
   Elsewhere (the `SimpleEvcaluator` "reference" query evaluator) does exploit 
a #2799 related-execution to come up with the right answer for the wrong 
reasons.
   
   Thank you for the report!
   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to