| 基于描述逻辑的带属性依赖时序ER模型 |
| |
| 引用本文： | 蒋运承, 汤 庸, 王 驹, 冀高峰. 基于描述逻辑的带属性依赖时序ER模型[J]. 计算机研究与发展, 2007, 44(10): 1765-1773. |
| |
| 作者姓名： | 蒋运承 汤庸 王驹 冀高峰 |
| |
| 作者单位： | 中山大学计算机科学系,广州,510275;广西师范大学计算机科学与信息工程学院,桂林,541004;中山大学计算机科学系,广州,510275;广西师范大学计算机科学与信息工程学院,桂林,541004 |
| |
| 基金项目： | 国家自然科学基金 , 中国博士后科学基金 , 广东省自然科学基金 , 教育部跨世纪优秀人才培养计划 , 广西青年科学基金 |
| |
| 摘 要： | 分析了描述逻辑在数据库中的研究现状和存在的问题，特别是描述逻辑与时序ER模型的关系，在Artale的基础上提出了一种形式化带属性依赖时序ER模型εR-{VTAD}.针对带属性依赖时序ER模型εR-{VTAD}的需求和特点，提出了一种新的描述逻辑，即时序描述逻辑ALCQI(D)-{US}.给出了ALCQI(D)-{US}的语法和语义，提出了基于ALCQI(D)-{US}的带属性依赖时序ER模型，即给出了如何将带属性依赖时序ER模型εR-{VTAD}转化为ALCQI(D)-{US}知识库，以及利用ALCQI(D)-{US}的推理机制给出了带属性依赖时序ER模型εR-{VTAD}的可满足性、冗余性、包含关系和蕴含关系等自动推理问题，证明了这些推理问题的正确性.
|
| 关 键 词： | 描述逻辑 时序描述逻辑 ER模型 时序ER模型 属性依赖 时序数据库 |
| 修稿时间： | 2006-03-13 |
Description-Logic-Based Temporal ER Model with Attribute Dependencies |
| |
| Jiang Yuncheng,Tang Yong,Wang Ju,Ji Gaofeng. Description-Logic-Based Temporal ER Model with Attribute Dependencies[J]. Journal of Computer Research and Development, 2007, 44(10): 1765-1773 |
| |
| Authors: | Jiang Yuncheng Tang Yong Wang Ju Ji Gaofeng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机研究与发展》浏览原始摘要信息 |
|
点击此处可从《计算机研究与发展》下载全文 |
|
