A delta type da for a base type a is a collection of values, each of which corresponds to a change a → a of the base type. See also Delta encodings help separate business logic from database operations Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog (Here, the concept of a delta type is called a change action.)