Derivation Table Assumptions
the base values are live whenever values derived from them are live
- allows to update derived values in the first place
operations used in the derivation have inverses
- current implementation handles + and - only
Extension to non-invertible operations would require redesign of tables