基于描述逻辑的带属性依赖时序ER模型

被引：14

作者：

蒋运承 ^{[1
]}

汤庸 ^{[1
]}

王驹 ^{[2
]}

冀高峰 ^{[1
]}

机构：

[1] 中山大学计算机科学系

[2] 广西师范大学计算机科学与信息工程学院

来源：

计算机研究与发展 | 2007年 / 10期

基金：

中国博士后科学基金; 广东省自然科学基金;

关键词：

描述逻辑; 时序描述逻辑; ER模型; 时序ER模型; 属性依赖; 时序数据库;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

分析了描述逻辑在数据库中的研究现状和存在的问题,特别是描述逻辑与时序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的可满足性、冗余性、包含关系和蕴含关系等自动推理问题,证明了这些推理问题的正确性.

引用

页码：1765 / 1773

页数：9

共 5 条

[1] 一种分布式动态描述逻辑 [J].

蒋运承 ;

史忠植 ;

汤庸 ;

王驹 .

计算机研究与发展, 2006, (09) :1603-1608

[2] 基于描述逻辑的模糊ER模型 [J].

蒋运承 ;

汤庸 ;

王驹 .

软件学报, 2006, (01) :20-30

[3]

时态数据库导论[M]. 北京大学出版社 , 汤庸编著, 2004

[4] A survey of temporal extensions of description logics [J].

Alessandro Artale ;

Enrico Franconi .

Annals of Mathematics and Artificial Intelligence, 2000, 30 :171-210

[5]

Description Logics in Data Management .2 A. Borgida. IEEE Trans Knowledge and Data Engineering . 1995

← 1 →