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