| 基于tableau结点封闭值的非一致性数据库开放分支修复方法 |
| |
| 引用本文： | 高龙,刘全,傅启明,李娇.基于tableau结点封闭值的非一致性数据库开放分支修复方法[J].计算机科学,2013,40(4):177-180. |
| |
| 作者姓名： | 高龙 刘全 傅启明 李娇 |
| |
| 作者单位： | 苏州大学计算机科学与技术学院苏州215006;苏州大学计算机科学与技术学院苏州215006;苏州大学计算机科学与技术学院苏州215006;苏州大学计算机科学与技术学院苏州215006 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61070223,61103045,61070122,61272005),江苏省自然科学基金(BK2012616),江苏省高校自然科学研究项目(09KJA520002,09KJB520012),吉林大学符号计算与知识工程教育部重点实验室项目(93K172012K04)资助 |
| |
| 摘 要： | 在将tableau方法扩展到非一致性数据库修复的基础上,提出一种新的利用分支封闭值修复数据库的方法。该方法结合tableau分析法的开放和封闭推理标准,以开放公式树TP(IC∪r)分支为基础,为公式树TP(IC∪r)中每个结点引入一个结点封闭值。根据TP(IC∪r)中结点封闭值的定义,通过计算TP(IC∪r)的结点封闭值来选择分支进行开放修复,从而可以直接确定数据库的修复实例,同时考虑了含有I封闭的修复,将开放修复扩展到含有I封闭的TP(IC∪r),并给予逻辑证明。最后,对于一致性应答结果的逻辑特征予以证明。
|
| 关 键 词： | tableau 非一致性数据库 封闭值 开放 修复 |
| 收稿时间： | 2012/6/11 0:00:00 |
| 修稿时间： | 2012/7/17 0:00:00 |
Method of Inconsistent Database Opening Branches Repairs Based on tableau Node Closed Value |
| |
| GAO Long,LIU Quan,FU Qi-ming and LI Jiao.Method of Inconsistent Database Opening Branches Repairs Based on tableau Node Closed Value[J].Computer Science,2013,40(4):177-180. |
| |
| Authors: | GAO Long LIU Quan FU Qi-ming and LI Jiao |
| |
| Affiliation: | School of Computer Science and Technology,Soochow University,Suzhou 215006,China;School of Computer Science and Technology,Soochow University,Suzhou 215006,China;School of Computer Science and Technology,Soochow University,Suzhou 215006,China;School of Computer Science and Technology,Soochow University,Suzhou 215006,China |
| |
| Abstract: | |
| |
| Keywords: | tableau Inconsistent database Closed value Open Repair |
|
|
点击此处可从《计算机科学》下载全文 |
|
