一种基于语义tableau的数据库修正方法

一种基于语义tableau的数据库修正方法
刘全;凌兴宏;张宏斌;孙吉贵
【期刊名称】《计算机科学》
【年(卷),期】2006(33)6
【摘要】tableau作为自动推理的有效方法之一在许多人工智能领域中有重要的应用.在tableau基础上,提出新的tableau开放和封闭的推理标准,应用于数据库实例不满足完整性约束的不相容关系数据库中,并对其进行修正.这样可以采用逻辑程序的方法,对数据库进行修正,解决了传统修正方法丢失信息、出现新的不相容等问题.
【总页数】3页(P109-111)
【作者】刘全;凌兴宏;张宏斌;孙吉贵
【作者单位】苏州大学计算机科学与技术学院,苏州215006;吉林大学符号计算与知识工程教育部重点实验室,长春,130012;苏州大学计算机科学与技术学院,苏州215006;苏州大学计算机科学与技术学院,苏州215006;吉林大学符号计算与知识工程教育部重点实验室,长春,130012
【正文语种】中文
【中图分类】TP3
【相关文献】
1.一种基于语义Tableau的不相容知识处理方法 [J], 刘全;伏玉琛;凌兴宏;孙吉贵
2.一种基于依赖关系的关系数据库语义模式提取方法 [J], 黄晟;王如龙
3.一种基于Ontology的异构数据库语义集成方法 [J], 吴玲丽;余建桥;孙荣荣
4.一种改进的基于语义距离的模糊数据库检索技术 [J], 宣军英
5.一种基于语义的图像数据库分类系统 [J], 王艳妮;陈龙斌;王卫宏;胡包钢
因版权原因，仅展示原文概要，查看原文内容请购买。