[WIP] Physical props - Githubissues

cmu-db / optd

CMU-DB's Cascades optimizer framework

https://cmu-db.github.io/optd/

MIT License

373 stars 22 forks source link

[WIP] Physical props #173

Open AveryQi115 opened 6 months ago

AveryQi115 commented 6 months ago

[x] basic framework
[x] default physical properties builder (without any constraints)
[x] test default builder
[ ] ordering physical properties builder (Sort -> order)
[ ] testcases
[ ] code reconstruction

jurplel commented 2 months ago

Why is it that we needed to incorporate the notion of a SubGroup here? I think that is non-standard...

I am predicting it may be because we are lacking separation of the phases that apply transformation rules and implementation rules?

AveryQi115 commented 2 months ago

Why is it that we needed to incorporate the notion of a SubGroup here? I think that is non-standard...

I am predicting it may be because we are lacking separation of the phases that apply transformation rules and implementation rules?

No, it’s not related to separation of transformation rules and impl rules. It’s a standard way to do this, just see calcite and cockroaches code. They both have a notion of logically equivalent and physically equivalent subset in logically equivalent set