节点文献

一种基于语义tableau的数据库修正方法

A Method of Database Repairs Based on Semantic Tableau

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 刘全凌兴宏张宏斌孙吉贵

【Author】 LIU Quan 1,2 LING Xing-Hong1 ZHANG Hong-Bin1 SUN Ji-Gui2 (Institute of Computer Science and Technology,Soochow University,Suzhou 215006)1 (Laboratory of Symbol Calculation and Knowledge Engineering,Ministry of Education,Jilin University,Changchun 130012)2

【机构】 苏州大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春130012吉林大学符号计算与知识工程教育部重点实验室 苏州215006苏州215006长春130012

【摘要】 tableau作为自动推理的有效方法之一在许多人工智能领域中有重要的应用。在tableau基础上,提出新的tableau开放和封闭的推理标准,应用于数据库实例不满足完整性约束的不相容关系数据库中,并对其进行修正。这样可以采用逻辑程序的方法,对数据库进行修正,解决了传统修正方法丢失信息、出现新的不相容等问题。

【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.

【关键词】 tableau完整性约束数据库修正
【Key words】 TableauIntegrity constraintDatabase repairs
【基金】 国家自然科学基金(60273080,60473003)资助。
  • 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2006年06期
  • 【分类号】TP311.13
  • 【被引频次】3
  • 【下载频次】80
节点文献中: 

本文链接的文献网络图示:

本文的引文网络