Derived Value Updates
Two-step process
- example: a := b1 + b3 - b2 + E
- calculate E by applying the inverse operation for each base value: a := a - b1 - b3 + b2
- note: derived value must be updated before any of its base values
- after gc, reconstruct derived values from updated base values