Break up the conditions in the constraint column
into deterministic and non-deterministic fragments
ACCORDING to the data
Rewrite the input operator to evaluate a 'provenance lite'
The operator's output will be extended with three types of columns:
The return value is a triple: The rewritten operator, an expression
for computing the non determinism of all columns, and an expression for
computing the non-determinism of all rows.