comunica / traqula / 29505244887

100%

main: 100%

push

github

feat(algebra-transformations-1-1): add certainlyBoundVariables util

Add a sound under-approximation of the certainly-bound (must-be-bound)
variables of an algebra operation, exposed via algebraUtils. Unlike
inScopeVariables (an over-approximation), this only reports variables
guaranteed to have a value in every solution, which is required to
soundly push a FILTER onto a JOIN operand or rewrite a single-row VALUES
join into an equality FILTER.

An optional extendBinds flag lets a BIND count as binding its target
when the expression is a plain constant or variable copy; triple-term
constructions are excluded since building one may raise an evaluation
error and leave the target unbound.

Pre-commit hook bypassed only for the spec:all step, which requires
network access unavailable in this environment; build, lint, test
(util.ts at 100% coverage) and depcheck all pass locally.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

766 of 766 branches covered (100.0%)

Branch coverage included in aggregate %.

39 of 39 new or added lines in 1 file covered. (100.0%)

5511 of 5511 relevant lines covered (100.0%)

281072.43 hits per line