The tree logic would help each of the given areas of functionality.

Currently subqueryin produces a linear search, partitioning is limited by the bucketing logic, and dependent joins will only create a tree of a limited size.