Widens two abstract values of the column names domain via naive widening to soundly over-approximate the join in (possibly infinite) fixpoint iterations.
This is technically not necessary, as the join is limited by the maximum number of inferred column names.
However, this speeds up the iteration in larger loops significantly, as we are over-approximating the column names much earlier.
Widens two abstract values of the column names domain via naive widening to soundly over-approximate the join in (possibly infinite) fixpoint iterations.
This is technically not necessary, as the join is limited by the maximum number of inferred column names. However, this speeds up the iteration in larger loops significantly, as we are over-approximating the column names much earlier.