时态关系代数与元组演算的等价性  

THE EQUIVALENCE BETWEEN TEMPORAL RELATIONAL ALGEBRA AND TEMPORAL TUPLE CALCULUS

作　　者：张师超[1] 

机构地区：[1]国家智能计算机研究开发中心

出　　处：《计算机学报》1993年第12期936-939,共4页Chinese Journal of Computers

摘　　要：建立了一个时态关系代数和时态元组演算并证明了他们间的等价性。This paper establishes a temporal relational algebra and a tern-poral tuple calculus,and proves their equivalence.

关 键 词：时态数据库 时态关系代数 元组演算 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]