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

摘要：

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

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

所属期刊栏目：40

分类号：TP311.13(计算技术、计算机技术)

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

在线出版日期：2013-06-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：177-180,208