Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: add ProjectionExpr #41

Merged
merged 1 commit into from
Jul 3, 2024
Merged

feat: add ProjectionExpr #41

merged 1 commit into from
Jul 3, 2024

Conversation

iajoiner
Copy link
Contributor

@iajoiner iajoiner commented Jul 2, 2024

Rationale for this change

We need to add ProjectionExpr both as a faster and simpler alternative to DenseFilterExpr when there is no WHERE clause and to provide one mechanism to further generalize GROUP BY i.e. adding a ProjectionExpr after GroupByExpr without changing GroupByExpr itself.

What changes are included in this PR?

Add ProjectionExpr.

Are these changes tested?

Yes.

@iajoiner iajoiner requested a review from JayWhite2357 July 2, 2024 14:13
@iajoiner iajoiner force-pushed the feat/projection branch 5 times, most recently from 00d4f1a to 7d0be66 Compare July 2, 2024 16:31
JayWhite2357
JayWhite2357 previously approved these changes Jul 2, 2024
crates/proof-of-sql/src/sql/ast/projection_expr_test.rs Outdated Show resolved Hide resolved
- add `ProjectionExpr`
- make sure `max_multiplicands` on the verifier side is correct
@iajoiner iajoiner merged commit 14002ce into main Jul 3, 2024
8 checks passed
@iajoiner iajoiner deleted the feat/projection branch July 3, 2024 13:10
Copy link

github-actions bot commented Jul 3, 2024

🎉 This PR is included in version 0.4.1 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants