Unifying Sequenced and Non-sequenced Semantics

Sequenced and nonsequenced semantics were introduced as different semantics for the evaluation of an operation in a temporal database such as a query or data modification. In this paper we present a new framework that shows both semantics are variants of a general temporal semantics. Our framework uses tuple lineage to track tuples through operations. We present the general semantics and show additional semantics that can be realized. We also show how the semantics can be woven into an operation using annotations.