基于动态描述逻辑的异构数据库数据整合技术研究

项目名称： 基于动态描述逻辑的异构数据库数据整合技术研究

项目编号： No.61305054

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 马越

作者单位： 中国科学院软件研究所

项目金额： 23万元

中文摘要： 数据整合问题是数据资源大规模分布式存储和处理的重要的前沿研究课题。传统数据整合方法往往不能有效地处理异构数据库中数据的语义信息，从而不能很好地解决语义消歧和跨数据库约束获取问题。为此，本课题基于描述逻辑对数据整合问题进行研究，在对异构数据库数据进行统一语义描述的基础上，利用描述逻辑的推理机制解决数据整合过程中的语义处理问题。研究内容和创新之处包括：1.定制一种面向关系数据模型的动态描述逻辑，并给出关系数据模型到描述逻辑的转化，从而用描述逻辑刻画关系数据库的静态信息与动态行为;2.研究转化的可靠性与动态描述逻辑的推理复杂度，从而确保描述逻辑能够正确并无遗漏地刻画关系数据库,并能够对关系数据库的性质与约束进行有效的推理;3.基于上述动态描述逻辑系统，给出异构数据的统一语义描述方法，提出领域知识库支撑下的语义消歧与跨数据库约束获取等技术，推动解决数据整合中的异构数据语义处理问题。

中文关键词： 数据整合；关系数据模型；描述逻辑；形式系统翻译；约束推理

英文摘要： Data integration is an important issue in distributed storage and processing of massive data. Traditional methods of data integration could not manage semantic heterogeneity of different resource databases. To resolve the above problem, we research data integration based on description logic, find a unified logical representation of heterogeneous database information, which provides enriched semantics and reasoning mechanisms on relational database, and then handle the problem of semantic integration of data.The project's research contents and novelty include: 1.Propose a dynamic description logic for relational databases,then represent the static information and dynamic behavior of relational databases into description logic, by giving a translation between relational database and description logic;2. Research on the reliability of the translation and the decidability and computational complexity of this dynamic description logic, in order to guarantee all the information of relational database could be faithfully and completely represented in description logic, and to ensure the availability of description logic on reasoning properties and constraints of relational database;3. Based on the dynamic description logic model of relational database, propose an unified representation of heterogeneous data, research

英文关键词： Data Integration；Relational Data Model；Description Logic；Translation between Fomal System；Constraint Reasoning