18531190911
100%
master: 100%

Ran 15 Oct 2025 01:54PM UTC

Jobs 0

Files 0

Run time –

Badge

Embed ▾

pending completion

Build # 18531190911

Build Type

push

github

Committed by

rubensworks

Commit Message

Fix outer GRAPH ?g being considered in MINUS variable disjointness

Since our algebraic graph translation is not really part of the spec,
there is a MINUS edge case we need to consider with GRAPH ?g.
If left and right of MINUS have disjoint variables,
the whole left solution sequence must be kept.
If GRAPH is defined outside of an operator (e.g. MINUS),
then the spec says that evaluation of the operators
must be done as union over the evaluation of that operator
within each graph separately,
and that the variable of ?g must only be bound
**after** that evaluation.
As such, MINUS will not be aware of this variable ?g,
and the disjoint case will apply.
This is fixed by adding metadata to the operation so that engines
can special-case this.

See https://github.com/w3c/rdf-tests/pull/228
https://github.com/joachimvh/SPARQLAlgebra.js/pull/128

Coverage Stats

Source Files on build 18531190911

Detailed source file information is not available for this build.

comunica / comunica / 18531190911
100%
master: 100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on build 18531190911

comunica / comunica / 18531190911 100% master: 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on build 18531190911

comunica / comunica / 18531190911
100%
master: 100%

README BADGES
x