Skip to content

Commit

Permalink
Merge pull request #10 from teshome-p/proj_pushdown_join
Browse files Browse the repository at this point in the history 
Finished proofs of projection pushdown for joins
  • Loading branch information
@amanda4zx
amanda4zx authored Jan 19, 2025
2 parents a55e5a5 + 3ced17e commit 7486831
Showing 1 changed file with 877 additions and 7 deletions.
Loading

0 comments on commit 7486831

Please sign in to comment.