Closed
Description
Relation::from_antijoin
always returns an empty Relation
, regardless of its inputs. That's because the antijoin
helper, which takes a JoinInput
as its first parameter, operates only on recent
tuples.
Lines 65 to 73 in 5bda2f0
This is correct for variables, but Relation
s, which don't change during iteration, only have stable
tuples. See #36 (comment) for the reason this must be the case.
To fix this, we should refactor the antijoin
helper to work directly on Relation
s, and pass the proper input from Variable::from_antijoin
and Relation::from_antijoin
. A regression test is needed as well.