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

Description-Logic-Based Temporal ER Model with Attribute Dependencies

作　　者：蒋运承[1] 汤庸[1] 王驹[2] 冀高峰[1] 

机构地区：[1]中山大学计算机科学系,广州510275 [2]广西师范大学计算机科学与信息工程学院,桂林541004

出　　处：《计算机研究与发展》2007年第10期1765-1773,共9页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60663001;60673135;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 model with attribute dependencies may be translated into description logic ALCQI（D） knowledge bases,and the reasoning on ER model with attribute dependencies may be reduced to model reasoning on ALCQI（D） knowledge bases.The current research progresses and the existing problems of description logic for data bases,especially the relationship between the description logic and the temporal ER model,are analyzed.The formal definition of the temporal ER model with attribute dependencies εRVTAD is presented based on the work of Artale.Aiming at the characteristics and requirement of the temporal ER model with attribute dependencies εRVTAD,a kind of new description logic,i.e.,the temporal description logic ALCQI（D）US,is presented.The temporal description logic ALCQI（D）US is the temporal extension of description logic ALCQI（D） through temporal logic,and the syntax and semantics of ALCQI（D）US are given.The ALCQI（D）US-based temporal ER model with attribute dependencies is presented,how to translate temporal ER model with attribute dependencies εRVTAD into temporal description logic ALCQI（D）US knowledge bases is studied,and the reasoning problem of satisfiability,redundancy,subsumption relationship,and implication relationship of temporal ER model with attribute dependencies εRVTAD may reason automatically through reasoning mechanism of temporal description logic ALCQI（D）US,and the correctness of these reasoning problems is proved.

关 键 词：描述逻辑 时序描述逻辑 ER模型 时序ER模型 属性依赖 时序数据库 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]