基于描述逻辑的带属性依赖时序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 维普 万方数据 等数据库收录! |
|