Given a computation C = f(x_1, x_2, \dots x_n) and a potential change x_j := \Delta_{x_j}, we can insert code before the change (the pre-derivative) and after the change (the post-derivative) to update the value of C faster than rerunning f.
In database systems such as DBToaster, views are defined with relational algebra.