计算机科学 ›› 2006, Vol. 33 ›› Issue (6): 109-111.

• • 上一篇    下一篇

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

  

  • 出版日期:2018-11-17 发布日期:2018-11-17
  • 基金资助:
    本课题得到国家自然科学基金(60273080,60473003)资助.

  • Online:2018-11-17 Published:2018-11-17

摘要: tableau作为自动推理的有效方法之一在许多人工智能领域中有重要的应用。在tableau基础上,提出新的tableau开放和封闭的推理标准,应用于数据库实例不满足完整性约束的不相容关系数据库中,并对其进行修正。这样可以采用逻辑程序的方法,对数据库进行修正,解决了传统修正方法丢失信息、出现新的不相容等问题。

关键词: tableau 完整性约束 数据库修正

Abstract: As one of effective automated reasoning methods, tableau has been applied to many important AI fields. On the base of tableau, an open and close new reasoning criterion is proposed. The criterion is applied to inconsistent relational database which databa

Key words: Tableau, Integrity constraint, Database repairs

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!