fix: Check HashJoin
exists on keys and CNF
and DNF
inference
#149
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
What problem does this PR solve?
NestLoopJoin
is currently not supported, so when Join exists Or, the corresponding exception is thrown.PrimaryKey
, the cost will not multiply by 2.And
condition whenAnd
andOr
existOr
isUnbound
,Dummy
is returned (wrong)ConstantBinary::and_scope_aggregation
whenAnd
exists inOr
ConstantBinary::Scope
whose lower bound is larger than the upper boundNotEq
andEq
exist in or, convert toUnbound
And
has multipleEq
, the effect ofDummy
is returned, and the cases ofDummy
andUnbound
are distinguished:EmptyVec
that originally representedUnbound
is replaced byScopeUnbound
, andEmptyVec
represents, AndDummy
won't do any iterationsCode changes
Check List
Tests
Side effects
Note for reviewer