This task involves the design of representations for temporal
relations (the objects in the algebra) and operators on these objects
to support historical selection and projection. Issues including
uni-sorted versus multi-sorted, algebraic equivalences, closure,
snapshot reducibility, and update semantics should be considered.