摘要
在将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.
出处
《计算机科学》
CSCD
北大核心
2013年第4期177-180,208,共5页
Computer Science
基金
国家自然科学基金项目(61070223
61103045
61070122
61272005)
江苏省自然科学基金(BK2012616)
江苏省高校自然科学研究项目(09KJA520002
09KJB520012)
吉林大学符号计算与知识工程教育部重点实验室项目(93K172012K04)资助
