%0 Journal Article
%T 基于tableau结点封闭值的非一致性数据库开放分支修复方法
%A 高龙？
%A 刘全？
%A 傅启明？
%A 李娇？
%J 计算机科学
%D 2013
%X 在将tableau方法扩展到非一致性数据库修复的基础上,提出一种新的利用分支封闭值修复数据库的方法。该方法结合tableau分析法的开放和封闭推理标准,以开放公式树tp(ic∪r)分支为基础,为公式树tp(ic∪r)中每个结点引入一个结点封闭值。根据tp(ic∪r)中结点封闭值的定义,通过计算tp(ic∪r)的结点封闭值来选择分支进行开放修复,从而可以直接确定数据库的修复实例,同时考虑了含有i封闭的修复,将开放修复扩展到含有i封闭的tp(ic∪r),并给予逻辑证明。最后,对于一致性应答结果的逻辑特征予以证明。
%K tableau
%K 非一致性数据库
%K 封闭值
%K 开放
%K 修复
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20130439&flag=1