We give a denotational semantics for translating SQL queries with temporal annotations into Nested SQL. Nested SQL is SQL with some additional operations. We also describe how the translation is ...