%0 Journal Article
%T Method of Inconsistent Database Opening Branches Repairs Based on tableau Node Closed Value<br>基于tableau结点封闭值的非一致性数据库开放分支修复方法
%A GAO Long
%A LIU Quan
%A FU Qi-ming
%A LI Jiao
%A <br>高龙
%A 刘全
%A 傅启明
%A 李娇
%J 计算机科学
%D 2013
%I 
%X 在将tableau方法扩展到非一致性数据库修复的基础上,提出一种新的利用分支封闭值修复数据库的方法。该方法结合tableau分析法的开放和封闭推理标准,以开放公式树TP(IC∪r)分支为基础,为公式树TP(IC∪r)中每个结点引入一个结点封闭值。根据TP(IC∪r)中结点封闭值的定义,通过计算TP(IC∪r)的结点封闭值来选择分支进行开放修复,从而可以直接确定数据库的修复实例,同时考虑了含有I封闭的修复,将开放修复扩展到含有I封闭的TP(IC∪r),并给予逻辑证明。最后,对于一致性应答结果的逻辑特征予以证明。
%K tableau
%K Inconsistent database
%K Closed value
%K Open
%K Repair<br>tableau
%K 非一致性数据库
%K 封闭值
%K 开放
%K 修复
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E61EC7D94804D759F6992B455AD00C40&yid=FF7AA908D58E97FA&vid=1371F55DA51B6E64&iid=E158A972A605785F&sid=6425DAE0271BB751&eid=F1A8654ADB4E656E&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=13