[WIP] Physical props

[AveryQi115]

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

[jurplel]

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]

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