|
|||||
|
|
| 一种基于语义tableau的数据库修正方法 | |
| 引用本文： | 刘全,凌兴宏,张宏斌,孙吉贵.一种基于语义tableau的数据库修正方法[J].计算机科学,2006,33(6):109-111. |
| 作者姓名： | 刘全 凌兴宏 张宏斌 孙吉贵 |
| 作者单位： | 1. 苏州大学计算机科学与技术学院,苏州215006;吉林大学符号计算与知识工程教育部重点实验室,长春,130012 2. 苏州大学计算机科学与技术学院,苏州215006 3. 吉林大学符号计算与知识工程教育部重点实验室,长春,130012 |
| 摘 要： | tableau作为自动推理的有效方法之一在许多人工智能领域中有重要的应用。在tableau基础上，提出新的tableau开放和封闭的推理标准，应用于数据库实例不满足完整性约束的不相容关系数据库中，并对其进行修正。这样可以采用逻辑程序的方法，对数据库进行修正，解决了传统修正方法丢失信息、出现新的不相容等问题。 |
| 关 键 词： | 完整性约束 数据库修正 |
A Method of Database Repairs Based on Semantic Tableau |
|
| LIU Quan,LING Xing-Hong,ZHANG Hong-Bin,SUN Ji-Gui.A Method of Database Repairs Based on Semantic Tableau[J].Computer Science,2006,33(6):109-111. | |
| Authors: | LIU Quan LING Xing-Hong ZHANG Hong-Bin SUN Ji-Gui |
| Affiliation: | Institute of Computer Science and Technology, Soochow University, Suzhou 215006;Laboratory of Symbol Calculation and Knowledge Engineering,Ministry of Education,Jilin University,Changchun 130012 |
| Abstract: | As one of effective automated reasoning methods, tableau has been applied to many important AI fields. On the base of tableau, an open and close new reasoning criterion is proposed. The criterion is applied to inconsistent relational database which database instances can not satisfy integrity constrains. Database can be repaired through use logic programming, which can solve some problems such as lose information, arise new inconsistent. |
| Keywords: | tableau |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |