您当前所在位置: 首页 > 学者
为您找到 3 条相关结果
按相关度
  • 按相关度
  • 按时间
  • 按阅读量
  • 代表性成果优先

上传时间

2005年06月30日

【期刊论文】时态变量“Now”语义及相应时态关系运算*

汤庸, 叶小平†

软件学报,2005,16(5):838~845,-0001,():

摘要

讨论了时态变量“Now”的基本语义,即Now不仅可以表示当前时间,还能表示过去时间和将来时间。在语义分析的基础上,讨论了带变量时态关系运算中需要解决的基本问题,即变量Now值的确定问题,研究了相应时态关系数据操作,建立了带变量时态关系代数系统。

关键词: 时态变量语义, 时间变量值确定, 带变量时态关系代数系统

  • 22浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 62下载

  • 0评论

  • 引用

上传时间

2005年06月30日

【期刊论文】基于BCDM的双时态关系代数1

汤庸, 王路帮、、汤庸、余阳

计算机研究与发展,2004,41(11):1949~1956,-0001,():

摘要

BCDM(双时态概念数据模型)是一种重要的时态数据库模型,此文基于BCDM模型,建立了一种双时态关系代数。首先,对时态数据库事务时间和有效时间进行规范化的定义,给出BCDM中时间元素的规范化定义和演算描述;而后,定义时态映射,用以描述BCDM中的双时态元组,并形式描述时态映射的演算;最后,用时态映射定义的元组对双时态关系进行定义,并由此给出双时态关系代数运算的形式化描述。

关键词: BCDM,, 双时态数据库,, 时态关系代数,, 双时态关系代数

  • 77浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 454下载

  • 0评论

  • 引用

上传时间

2014年05月26日

【期刊论文】基于扩展型关系代数RASA的架构缺陷属性描述和操控

李祖德

,-0001,():

摘要

关系代数能支持软件系统架构的常规操作,也能支持架构缺陷的可视化、聚集和分析操作。之前研究已为此定义了一个扩展型关系代数——面向架构的关系代数(RASA),本文进而从两方面深入研究RASA于架构缺陷描述和操控的现实价值。一方面,应用RASA以描述和操控架构缺陷属性;另一方面,基于传统关系数据库系统实现RASA。研究成果能清晰地指导RASA实现及其在架构和缺陷分析实践中的有效应用。

关键词: 软件工程, 关系代数 软件架构, 软件缺陷

  • 46浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 8下载

  • 0评论

  • 引用