%0 Journal Article
%T 时态变量"now"语义及相应时态关系运算
%A 叶小平？
%A 汤庸？
%J 软件学报
%P 838-845
%D 2005
%X 讨论了时态变量"now"的基本语义,即now不仅可以表示当前时间,还能表示过去时间和将来时间.在语义分析的基础上,讨论了带变量时态关系运算中需要解决的基本问题,即变量now值的确定问题,研究了相应时态关系数据操作,建立了带变量时态关系代数系统.
%K 时态变量语义
%K 时间变量值确定
%K 带变量时态关系代数系统
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20050523&flag=1