This paper establishes a temporal relational algebra and a tern-poral tuple calculus and proves their equivalence .

建立了一个时态关系代数和时态 元组 演算并证明了他们间的等价性。