-
题名基于BCDM的含有变量的双时态关系代数研究
被引量：2
- 1
-
-
作者
王路帮
钱省三
-
机构
上海理工大学管理学院
浙江万里学院商学院
-
出处
《计算机应用研究》
CSCD
北大核心
2010年第6期2071-2074,共4页
-
基金
国家教育部博士点基金资助项目(20050252008)
上海市(第三期)重点学科资助项目(S30504)
-
文摘
在BCDM(双时态概念数据模型)中,时间变元Now和UC的存在解决了时态记录的频繁更新问题;但是时态变元的存在又给数据库的操作带来某种不确定性甚至是错误,同时引起关系代数运算的歧义。基于BC-DM,通过绑定时间变元,用时态映射的集合定义时态关系,由此建立了一种含有时间变元的双时态关系代数体系。该关系代数体系在双时态运算下是封闭的。
-
关键词
双时态概念数据模型
双时态数据库
时态变量
双时态关系代数
-
Keywords
BCDM
bitemporal database
temporal variables
bitemporal relational algebra
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于时态变量对象关系模型及代数运算
被引量：3
- 2
-
-
作者
叶小平
-
机构
中山大学计算机科学系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2007年第11期1971-1979,共9页
-
基金
国家自然科学基金项目(60673135
60373081)
广东省自然科学基金项目(05003348)~~
-
文摘
时态数据处理多是基于关系数据库平台,时态数据库模型也以时态关系数据模型为主.关系数据模型难以处理具有复杂类型的数据对象,而面向对象数据模型还缺乏商业化应用平台.现有关系数据库平台大多增加了面向对象基本功能,形成了对象关系数据库系统,因此将对象关系数据模型进行时态扩充就显得十分必要和具有可行性.首先在现有时态关系数据模型基础上,提出了一种基于对象关系双时态数据模型,而这种数据模型适合于在现有数据库平台上实现;其次,在该模型框架内,讨论了时态对象关系模式与时态关系模式相互间的联系与转换,这也是由时态关系扩充到对象关系的基本要求;再次,分析了时态模型中时态变量复杂语义和相应绑定算法,这是时态数据库能够有效运行的基本课题之一;最后,研究了基于时态变量复杂语义的时态对象关系数据操作代数,从而为时态对象关系模式的查询进行了必要的理论探讨.
-
关键词
时态数据模型
对象关系模型
代数运算
面向对象数据模型
关系数据模型
对象关系数据库系统
数据库平台
对象关系模式
-
Keywords
bitemporal data model on object-relation
relation and transformation between temporalrelation and temporal object-relation
temporal constraint of object-relation
complex semantics and bindingalgorithm on temporal variables
algebra of temporal object-relation
-
分类号
TP311.132
[自动化与计算机技术—计算机软件与理论]
-
-
题名实时数据库系统的时态关系代数
- 3
-
-
作者
万常选
-
机构
江西财经大学信息管理学院
-
出处
《计算机与现代化》
2000年第5期11-15,38,共6页
-
文摘
在《实时数据库系统的关系数据模型》一文中建立了实时数据库系统 ( RTDBS)的实时关系数据模型 ( RTRDM)。本文在 RTRDM模型基础上 ,详细讨论了 RTDBS的各种时态关系代数运算 ,而且这些时态关系代数运算是传统数据库系统中各种关系代数运算在 RTRDM上的推广 ,即当 RTRDM上关系的生命周期为 [Now,Now]时 ,RTRDM上的各种时态关系代数运算将退化为传统数据库下的各种关系代数运算。
-
关键词
实时数据库系统
生命周期
时态关系代数
-
Keywords
real time database
temporal data
lifespan
real time relational data model
relational algebra
temporal relational algebra
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名时态变量“Now”语义及相应时态关系运算
被引量：18
- 4
-
-
作者
叶小平
汤庸
-
机构
中山大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
2005年第5期838-845,共8页
-
基金
国家自然科学基金
广东省自然科学基金~~
-
文摘
讨论了时态变量“Now”的基本语义,即Now不仅可以表示当前时间,还能表示过去时间和将来时间.在语义分析的基础上,讨论了带变量时态关系运算中需要解决的基本问题,即变量Now值的确定问题,研究了相应时态关系数据操作,建立了带变量时态关系代数系统.
-
关键词
时态变量语义
时间变量值确定
带变量时态关系代数系统
-
Keywords
Data handling
Information management
Semantics
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名用带时钟变量的线性时态逻辑扩充Object-Z
被引量：1
- 5
-
-
作者
文志诚
李长云
满君丰
-
机构
湖南工业大学计算机与通信学院
-
出处
《计算机应用研究》
CSCD
北大核心
2009年第5期1764-1769,共6页
-
基金
国家自然科学基金资助项目(60773110)
湖南省教育厅科研项目(08c284
08c286)
-
文摘
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。线性时态逻辑能够描述实时系统,但不能很好地处理连续时间关系,也不能很好地模块化描述形式规格说明。首先用时钟变量扩充线性时态逻辑,接着提出了一个方法——用带时钟变量的时态逻辑(LTLC)来扩充Object-Z。用LTLC扩充的Object-Z是一个模块化规格说明语言,是Object-Z语法和语义的最小扩充,其最大优点在于它能方便地描述和验证复杂的实时软件规格说明。
-
关键词
OBJECT-Z
用带时钟变量的时态逻辑
实时系统
形式规格说明
形式验证
-
Keywords
Object-Z
LTLC
real-time system
formal specification
formal verification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Rough表达的时态关系代数
被引量：1
- 6
-
-
作者
王路帮
汤庸
周风华
-
机构
中山大学计算机科学系
-
出处
《计算机工程与设计》
CSCD
北大核心
2005年第2期288-290,共3页
-
基金
国家自然科学基金项目(60205007)广州市重点科技基金项目(2002Z2-D3041)广东省跨世纪优秀人才基金项目(Q02095)。
-
文摘
现实世界的信息是和时间紧密相关的,因而记录和处理信息的数据库系统应该对时态问题进行考虑,以便更有效地解决现实问题;另一方面,现实世界的某些属性又很难用属性值简单描述。首先是用Rough理论对属性值进行一种刻画,用二元数组来表达属性值,并且将这种属性值的表达方式推广到一般情形,而后从时态映射的观点描述时态元组和时态关系,并由此形式描述相应的时态关系运算,从而建立了一套时态关系代数体系。
-
关键词
属性值
时态关系
元组
数组
数据库系统
形式描述
映射
代数
处理信息
现实问题
-
Keywords
temporal database
relational algebra
temporal relational algebra
rough
-
分类号
TP311.12
[自动化与计算机技术—计算机软件与理论]
G633.62
[文化科学—教育学]
-
-
题名关系代数操作符的时态扩展
被引量：2
- 7
-
-
作者
黄如寿
汤庸
-
机构
中山大学计算机科学系
-
出处
《现代计算机》
2003年第10期6-9,共4页
-
文摘
时态数据库由时态数据结构、时态关系操作符和时态约束三部分构成。本文主要介绍在关系操作符的基础上进行时态扩展以构成时态关系操作符;并使用标准的SQL语句对时态关系操作符的语义进行了描述。它们包括时态并、时态交、时态减、时态投影、时态选取和时态除等几个时态关系操作。
-
关键词
时态数据库
时态数据结构
关系代数操作符
时态扩展
SQL语句
数据模型
数据库管理系统
-
Keywords
Temporal Database
Temporal Relational Operator
Temporal Extension
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名否定知识的代数表示及在模糊系统设计中的应用
被引量：10
- 8
-
-
作者
张胜礼
李永明
-
机构
陕西师范大学计算机科学学院
兴义民族师范学院信息技术学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2016年第12期2527-2546,共20页
-
基金
国家自然科学基金(11271237)
贵州省科学技术基金(黔科合J字[2012]2324号)
+1 种基金
贵州省教育厅自然科学研究重点项目(黔教合KY字[2015]408号)
黔西南州科技计划项目(2015-1-51)资助~~
-
文摘
对于模糊系统中的否定知识的认识,首先从哲学层面上对潘正华提出的3种否定关系进行了研究,提出了矛盾否定关系、对立否定关系和中介否定关系的本质特征.接着,在Zadeh提出的语言变量中引入3种否定的概念,得到了带有3种否定的语言变量.为了能够刻画这些否定关系的本质特征和内在联系,进一步研究了它们的集合基础,定义了一种新的带有矛盾否定、对立否定和中介否定的模糊集GFScom,并讨论了GFScom的一些基本运算及性质.在此基础上,给出了基于GFScom的具有一阶逼近精度和二阶逼近精度的模糊系统的设计方法,并分析了所设计的模糊系统的逼近性能.应用示例表明,GFScom不仅丰富了模糊系统的推理功能,而且能在仅知道部分隶属函数分布的情况下设计出具有给定精度的模糊系统.
-
关键词
模糊知识
模糊集
否定关系
带3种否定的语言变量
广义模糊集GFScom
模糊系统的设计
逼近性能
-
Keywords
fuzzy knowledge
fuzzy sets
negative relationships
linguistic variables with three types of negation
generalized fuzzy sets GFScom
design of fuzzy systems
approximation capability
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
O159
[理学—基础数学]
-
-
题名第三讲 系统动力学建模的数学表述
- 9
-
-
作者
顾凯平
赵道胜
曲春宁
-
机构
北京林业大学
-
出处
《林业经济》
1988年第4期57-60,共4页
-
文摘
在上一讲中,我们讲了系统动力学模型的主要结构元素,并介绍了积量与率量之间的定性关系,另外,还对辅量、信息流等概念作了介绍。这一讲,我们主要对上述变概念的数学表述作一介绍。一,积量与率量关系的数学表述如图3—1所示,它是水箱蓄水示意图。假设单位时间输入的水量有 R1(t),流出的水量为 R2(t),在 t 时刻水箱中的蓄水量为 L。
-
关键词
数学表述
系统动力学
定性关系
结构元素
辅助变量
系统结构分析
阶跃
代数表达式
影响模型
动态行为
-
分类号
F2
[经济管理—国民经济]
-
-
题名时态德摩根逻辑的语义与证明论
- 10
-
-
作者
梁飞
-
机构
中山大学逻辑与认知研究所
中山大学哲学系
-
出处
《逻辑学研究》
CSSCI
2017年第4期99-116,共18页
-
基金
国家社会科学基金青年项目"非古典命题逻辑的结构证明论研究"(批准号16CZX049)的研究成果
-
文摘
本文从语义学与证明论的角度研究了时态德摩根代数所对应的逻辑DMt。一方面,基于时态德摩根代数的表示定理,本文给出了时态德摩根逻辑的关系语义,并证明了DMt相对于该语义是可靠且完全的;另一方面,本文构造了DMt的保守扩张显示演算系统D.DMt,并证明了D.DMt的切割消除定理与子公式性质。此外,本文还简单讨论了基于时态德摩根逻辑的显示条件刻画定理。
-
关键词
德摩根代数
四值逻辑
时态德摩根逻辑
关系语义
显示系统
-
分类号
B815
[哲学宗教—逻辑学]
-
