基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
讨论了时态变量"Now"的基本语义,即Now不仅可以表示当前时间,还能表示过去时间和将来时间.在语义分析的基础上,讨论了带变量时态关系运算中需要解决的基本问题,即变量Now值的确定问题,研究了相应时态关系数据操作,建立了带变量时态关系代数系统.
推荐文章
语义不确定时态跨度的规范化处理及近似运算
不确定
时态语义
时态跨度
粒度
规范化
区间数运算
基于BCDM的含有变量的双时态关系代数研究
双时态概念数据模型
双时态数据库
时态变量
双时态关系代数
基于Hadoop的时态信息存储与时态关系演算问题研究
时态信息
Hadoop
数据存储模型
时态关系演算
医疗时态数据
用带时钟变量的线性时态逻辑扩充Object-Z
Object-Z
用带时钟变量的时态逻辑
实时系统
形式规格说明
形式验证
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 时态变量"Now"语义及相应时态关系运算
来源期刊 软件学报 学科 工学
关键词 时态变量语义 时间变量值确定 带变量时态关系代数系统
年,卷(期) 2005,(5) 所属期刊栏目 数据库技术
研究方向 页码范围 838-845
页数 8页 分类号 TP311
字数 7805字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 叶小平 中山大学计算机科学系 29 315 7.0 17.0
2 汤庸 中山大学计算机科学系 95 1243 20.0 30.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (6)
共引文献  (30)
参考文献  (4)
节点文献
引证文献  (58)
同被引文献  (23)
二级引证文献  (90)
1987(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(1)
  • 参考文献(1)
  • 二级参考文献(0)
1999(4)
  • 参考文献(2)
  • 二级参考文献(2)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(2)
  • 参考文献(1)
  • 二级参考文献(1)
2005(5)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(5)
  • 二级引证文献(0)
2005(5)
  • 引证文献(5)
  • 二级引证文献(0)
2006(6)
  • 引证文献(6)
  • 二级引证文献(0)
2007(14)
  • 引证文献(9)
  • 二级引证文献(5)
2008(20)
  • 引证文献(11)
  • 二级引证文献(9)
2009(16)
  • 引证文献(7)
  • 二级引证文献(9)
2010(23)
  • 引证文献(12)
  • 二级引证文献(11)
2011(6)
  • 引证文献(2)
  • 二级引证文献(4)
2012(2)
  • 引证文献(0)
  • 二级引证文献(2)
2013(10)
  • 引证文献(2)
  • 二级引证文献(8)
2014(15)
  • 引证文献(2)
  • 二级引证文献(13)
2015(11)
  • 引证文献(1)
  • 二级引证文献(10)
2016(8)
  • 引证文献(1)
  • 二级引证文献(7)
2017(4)
  • 引证文献(0)
  • 二级引证文献(4)
2018(6)
  • 引证文献(0)
  • 二级引证文献(6)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
时态变量语义
时间变量值确定
带变量时态关系代数系统
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
软件学报
月刊
1000-9825
11-2560/TP
16开
北京8718信箱
82-367
1990
chi
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
广东省自然科学基金
英文译名:Guangdong Natural Science Foundation
官方网址:http://gdsf.gdstc.gov.cn/
项目类型:研究团队
学科类型:
论文1v1指导