-
Type: Task
-
Resolution: Won't Do
-
Priority: Major - P3
-
None
-
Affects Version/s: None
-
Component/s: None
-
Labels:None
-
Query Optimization
-
QO 2022-03-07
When an ABT is modified during optimization, we currently recompute the dependencies for the entire tree, even for a simple modification. See this example during const eval, where we inline a variable and then we rebuild the variable environment from scratch.
We should add the ability to incrementally update the ABT dependencies after a specific change, rather than recomputing the dependencies from scratch. This would make sure the variable environment doesn't go out of sync with the ABT, so we don't have to constantly account for it in our optimizations.