Searching protocol for "incremental-computation"
Efficiently update computations when inputs change.
Adhesive categories for incremental query updating.