节点文献
一种基于语义tableau的数据库修正方法
A Method of Database Repairs Based on Semantic Tableau
【摘要】 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.
【基金】 国家自然科学基金(60273080,60473003)资助。
- 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2006年06期
- 【分类号】TP311.13
- 【被引频次】3
- 【下载频次】80