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

在将tableau方法扩展到非一致性数据库修复的基础上,提出一种新的利用分支封闭值修复数据库的方法。该方法结合tableau分析法的开放和封闭推理标准,以开放公式树tp(ic∪r)分支为基础,为公式树tp(ic∪r)中每个结点引入一个结点封闭值。根据tp(ic∪r)中结点封闭值的定义,通过计算tp(ic∪r)的结点封闭值来选择分支进行开放修复,从而可以直接确定数据库的修复实例,同时考虑了含有i封闭的修复,将开放修复扩展到含有i封闭的tp(ic∪r),并给予逻辑证明。最后,对于一致性应答结果的逻辑特征予以证明。