Add experimental e-graph equality saturation framework for KQIR optimizer#2831
Closed
AryanVBW wants to merge 1 commit intoapache:unstablefrom
Closed
Add experimental e-graph equality saturation framework for KQIR optimizer#2831AryanVBW wants to merge 1 commit intoapache:unstablefrom
AryanVBW wants to merge 1 commit intoapache:unstablefrom
Conversation
…izer Fixes apache#2561 Add an experimental e-graph equality saturation framework for the KQIR optimizer to generate better query plans. * **New Pass Implementation** - Add `EGraphEqualitySaturation` class in `src/search/passes/egraph_equality_saturation.h` and `src/search/passes/egraph_equality_saturation.cc`. - Implement the `Transform` method to perform equality saturation on the e-graph. * **Integration with Existing Code** - Update `src/search/ir_pass.h` to include the new pass. - Update `src/search/passes/manager.h` to include the new pass in the optimization sequence. * **Testing** - Add unit tests for the `EGraphEqualitySaturation` pass in `tests/cppunit/egraph_equality_saturation_test.cc`. - Test various scenarios to ensure the correctness of the equality saturation framework. --- For more details, open the [Copilot Workspace session](https://copilot-workspace.githubnext.com/apache/kvrocks/issues/2561?shareId=XXXX-XXXX-XXXX-XXXX).
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
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.
Fixes #2561
Add an experimental e-graph equality saturation framework for the KQIR optimizer to generate better query plans.
New Pass Implementation
EGraphEqualitySaturationclass insrc/search/passes/egraph_equality_saturation.handsrc/search/passes/egraph_equality_saturation.cc.Transformmethod to perform equality saturation on the e-graph.Integration with Existing Code
src/search/ir_pass.hto include the new pass.src/search/passes/manager.hto include the new pass in the optimization sequence.Testing
EGraphEqualitySaturationpass intests/cppunit/egraph_equality_saturation_test.cc.