[JENA-1831] Algebra transform to optimize queries fails with a certain type of Union

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: Jena 3.11.0, Jena 3.12.0, Jena 3.13.0, Jena 3.14.0
• Fix Version/s: Jena 3.15.0
• Component/s: SDB
• Assignee: Andy Seaborne
• Reporter: Graham Triggs
• Created: 28/Jan/20 11:22
• Updated: 19/May/20 10:26
• Resolved: 30/Jan/20 10:47

Description

Encountered a case using a UNION in a query to select e.g. objects where type is asserted as X, Y or Z (but not A, B, C, etc.)

Pull request prevents the transformer from copying restrictions out of a UNION so that the algebra is correct in this case.

Includes a test for a query that exhibits the problem. All previously existing transformer tests are unmodified and continue to pass, as do all the other unit tests in SDB.

https://github.com/apache/jena/pull/681

Issue Links

• links to: GitHub Pull Request #681