基于tableau结点封闭值的非一致性数据库开放分支修复方法  

Method of Inconsistent Database Opening Branches Repairs Based on tableau Node Closed Value

作　　者：高龙[1] 刘全[1,2] 傅启明[1] 李娇[1] 

机构地区：[1]苏州大学计算机科学与技术学院,苏州215006 [2]吉林大学符号计算与知识工程教育部重点实验室,长春130012

出　　处：《计算机科学》2013年第4期177-180,208,共5页Computer Science

基　　金：国家自然科学基金项目(61070223;61103045;61070122;61272005);江苏省自然科学基金(BK2012616);江苏省高校自然科学研究项目(09KJA520002;09KJB520012);吉林大学符号计算与知识工程教育部重点实验室项目(93K172012K04)资助

摘　　要：在将tableau方法扩展到非一致性数据库修复的基础上,提出一种新的利用分支封闭值修复数据库的方法。该方法结合tableau分析法的开放和封闭推理标准,以开放公式树TP(IC∪r)分支为基础,为公式树TP(IC∪r)中每个结点引入一个结点封闭值。根据TP(IC∪r)中结点封闭值的定义,通过计算TP(IC∪r)的结点封闭值来选择分支进行开放修复,从而可以直接确定数据库的修复实例,同时考虑了含有I封闭的修复,将开放修复扩展到含有I封闭的TP(IC∪r),并给予逻辑证明。最后,对于一致性应答结果的逻辑特征予以证明。Based on extending the tableau method to inconsistent database repairs,a new method that uses the value of branch closure to repair the database was proposed.This method combines the analysis of tableau open and closed reasoning criterion,bases on opening formula tree TP（IC∪r）,and imports a closed value for every node of the TP（IC∪r）.According to the definition of node closed value,branches repair can be selected by computing node closed value,and directly determine the database instances which need repair.This method also considers repair with I closure and extends opening branches to repair,and gives the logical proof.At last,the logical feature of consistent query answer is proved.

关 键 词：TABLEAU 非一致性数据库 封闭值 开放 修复 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]