...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Data & Knowledge Engineering >Minimal model generation for refined answering of generalized queries in disjunctive deductive databases
【24h】

Minimal model generation for refined answering of generalized queries in disjunctive deductive databases

机译：最小模型生成，用于析取演绎数据库中广义查询的精确回答

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

摘要

Generalized queries are defined as sets of clauses in implication form. They cover several tasks of practical im- portance for database maintenance such as answering positive queries, computing database completions and integrity constraints checking. We address the issue of answering generalized queries under the minimal model semantics for the class of disjunctive deductive databases (DDDBs). The advanced approach is based on having the query induce an order on the models returned by a sound and complete minimal model generating procedure. We consider answers that are true in all and those that are true in some minimal models of the theory. We address the issue of answering positive queries through the construction of the minimal model state of the DDDB, using a minimal model generating pro- cedure. The refinements allowed by the procedure include isolating a minimal component of a disjunctive answer. the specification of possible updates to the theory to enable the derivability of certain queries and deciding the monotonicity properties of answers to different classes of queries.
机译：广义查询被定义为隐含形式的子句集。它们涵盖了几项对数据库维护具有实际意义的重要任务，例如回答肯定查询，计算数据库完成和完整性约束检查。我们针对析取演绎数据库（DDDB）类在最小模型语义下回答通用查询的问题。先进的方法基于让查询在声音返回的模型上诱导顺序并完成最小的模型生成过程。我们认为，所有答案都是正确的，而在某些最小的理论模型中，答案也是正确的。我们使用最小模型生成过程通过构造DDDB的最小模型状态来解决回答肯定查询的问题。该程序允许的改进包括隔离析取答案的最小部分。对理论的可能更新的规范，以实现某些查询的可导出性并确定对不同查询类别的答案的单调性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号