首页 | 官方网站   微博 | 高级检索  
     

基于描述逻辑的带属性依赖时序ER模型
引用本文:蒋运承,汤庸,王驹,冀高峰.基于描述逻辑的带属性依赖时序ER模型[J].计算机研究与发展,2007,44(10):1765-1773.
作者姓名:蒋运承  汤庸  王驹  冀高峰
作者单位:1. 中山大学计算机科学系,广州,510275;广西师范大学计算机科学与信息工程学院,桂林,541004
2. 中山大学计算机科学系,广州,510275
3. 广西师范大学计算机科学与信息工程学院,桂林,541004
基金项目:国家自然科学基金 , 中国博士后科学基金 , 广东省自然科学基金 , 教育部跨世纪优秀人才培养计划 , 广西青年科学基金
摘    要:分析了描述逻辑在数据库中的研究现状和存在的问题,特别是描述逻辑与时序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模型  属性依赖  时序数据库
修稿时间:2006年3月13日
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号