期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于描述逻辑的带属性依赖时序ER模型
被引量：
12
1
作者
蒋运承
汤庸
+1 位作者
王驹
冀高峰
《计算机研究与发展》
EI
CSCD
北大核心
2007年第10期1765-1773,共9页
分析了描述逻辑在数据库中的研究现状和存在的问题,特别是描述逻辑与时序ER模型的关系,在Artale的基础上提出了一种形式化带属性依赖时序ER模型εRVTAD.针对带属性依赖时序ER模型εRVTAD的需求和特点,提出了一种新的描述逻辑,即时序描...
分析了描述逻辑在数据库中的研究现状和存在的问题,特别是描述逻辑与时序ER模型的关系,在Artale的基础上提出了一种形式化带属性依赖时序ER模型εRVTAD.针对带属性依赖时序ER模型εRVTAD的需求和特点,提出了一种新的描述逻辑,即时序描述逻辑ALCQI(D)US.给出了ALCQI(D)US的语法和语义,提出了基于ALCQI(D)US的带属性依赖时序ER模型,即给出了如何将带属性依赖时序ER模型εRVTAD转化为ALCQI(D)US知识库,以及利用ALCQI(D)US的推理机制给出了带属性依赖时序ER模型εRVTAD的可满足性、冗余性、包含关系和蕴含关系等自动推理问题,证明了这些推理问题的正确性.
展开更多
关键词
描述逻辑
时序
描述逻辑
er
模型
时序er模型
属性依赖
时序
数据库
在线阅读
下载PDF
职称材料
题名
基于描述逻辑的带属性依赖时序ER模型
被引量：
12
1
作者
蒋运承
汤庸
王驹
冀高峰
机构
中山大学计算机科学系
广西师范大学计算机科学与信息工程学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2007年第10期1765-1773,共9页
基金
国家自然科学基金项目(60663001
60673135
+5 种基金
60373081
60573010)
中国博士后科学基金项目(2006400226)
广东省自然科学基金重点项目(04105503)
教育部"新世纪优秀人才支持计划"基金项目
广西青年科学基金项目(桂科青0640030)
文摘
分析了描述逻辑在数据库中的研究现状和存在的问题,特别是描述逻辑与时序ER模型的关系,在Artale的基础上提出了一种形式化带属性依赖时序ER模型εRVTAD.针对带属性依赖时序ER模型εRVTAD的需求和特点,提出了一种新的描述逻辑,即时序描述逻辑ALCQI(D)US.给出了ALCQI(D)US的语法和语义,提出了基于ALCQI(D)US的带属性依赖时序ER模型,即给出了如何将带属性依赖时序ER模型εRVTAD转化为ALCQI(D)US知识库,以及利用ALCQI(D)US的推理机制给出了带属性依赖时序ER模型εRVTAD的可满足性、冗余性、包含关系和蕴含关系等自动推理问题,证明了这些推理问题的正确性.
关键词
描述逻辑
时序
描述逻辑
er
模型
时序er模型
属性依赖
时序
数据库
Keywords
description logic
temporal description logic
er
model
temporal
er
model
attribute dependency
temporal database
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于描述逻辑的带属性依赖时序ER模型
蒋运承
汤庸
王驹
冀高峰
《计算机研究与发展》
EI
CSCD
北大核心
2007
12
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
