Eine Zeitlinie ist eine Sequenz von Werten mit einem bestimmten Typ, bei der jeder Wert ab einem bestimmten Datum gültig ist (bis er durch einen anderen Wert abgelöst wird). Für jedes spezielle Datum besitzt eine Zeitlinie einen Wert, der auf dieses Datum anwendbar ist.