Title: An algebraic language for query and update of temporal databases