• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Intelligent Information Systems >Answering Queries Addressed to Several Databases According to a Majority Merging Approach
【24h】

Answering Queries Addressed to Several Databases According to a Majority Merging Approach

机译：根据多数合并方法针对多个数据库的查询查询

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The general context of this work is the problem of merging data provided by several sources which can be contradictory. Focusing on the case when the information sources do not contain any disjunction, this paper first defines a propositional modal logic for reasoning with data obtained by merging several information sources according to a majority approach. Then it defines a theorem prover to automatically deduce these merged data. Finally, it shows how to use this prover to implement a query evaluator which answers queries addressed to several databases. This evaluator is such that the answer to a query is the one that could be computed by a classical evaluator if the query was addressed to the merged databases. The databases we consider are made of an extensional part, i.e. a set of positive or negative ground literals, and an intensional part i.e. a set of first order function-free clauses. A restriction is imposed to these databases in order to avoid disjunctive data.
机译：这项工作的总体背景是合并由多个来源提供的数据的问题，这可能是矛盾的。针对信息源不包含任何析取的情况，本文首先定义了命题模态逻辑，用于根据多数方法通过合并多个信息源而获得的数据进行推理。然后，它定义了一个定理证明者，以自动推导这些合并的数据。最后，它显示了如何使用该证明程序来实现查询评估器，该评估器回答针对多个数据库的查询。此评估程序可以使查询的答案是经典评估程序可以计算的答案（如果查询针对的是合并数据库）。我们考虑的数据库由一个扩展部分（即一组正或负基础文字）和一个内涵部分（即一组一阶无函数子句）组成。为了避免析取数据，对这些数据库施加了限制。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号