基于描述逻辑的面向对象数据模型

摘要：

分析了描述逻辑在数据库中的研究现状和存在的问题，特别是描述逻辑与面向对象数据模型的关系。在A Artale和D Calvanese的基础上提出了面向对象数据模型和演化面向对象数据模型的形式化定义，针对面向对象数据模型和演化面向对象数据模型的需求和特点，提出了基于描述逻辑DLRifd的面向对象数据模型和演化面向对象数据模型，即研究了如何将面向对象数据模型和演化面向对象数据模型转化为描述逻辑DL Rifd的知识库，从而利用DLRifd的椎理机制对面向对象数据模型和演化面向对象数据模型的一致性、冗余性和包含关系等问题进行自动推理，证明了这些推理问题的正确性。

关键词： 描述逻辑 DLRifd 面向对象数据模型 演化面向对象数据模型 自动推理

作者: 蒋运承 王驹 汤庸 谭春亮

作者单位: 广西师范大学计算机科学与信息工程学院,广西桂林,541004 中山大学计算机科学系,广东广州,510275 广西师范大学计算机科学与信息工程学院,广西桂林,541004 中山大学计算机科学系,广东广州,510275

会议类型: 国内会议

会议名称: 2007中国计算机大会

会议地点: 苏州

会议语种:中文

页码: 545-558

在线出版日期: 2007-10-18（万方平台首次上网日期，不代表论文的发表时间）