首页> 外文期刊>Computing and informatics >INCORPORATING STRATIFIED NEGATION INTO QUERY-SUBQUERY NETS FOR EVALUATING QUERIES TO STRATIFIED DEDUCTIVE DATABASES
【24h】

INCORPORATING STRATIFIED NEGATION INTO QUERY-SUBQUERY NETS FOR EVALUATING QUERIES TO STRATIFIED DEDUCTIVE DATABASES

机译:将分层求反合并到查询子查询网络中,以评估分层的演绎数据库的查询

获取原文
获取原文并翻译 | 示例
           

摘要

Most of the previously known evaluation methods for deductive databases are either breadth-first or depth-first (and recursive). There are cases when these strategies are not the best ones. It is desirable to have an evaluation framework for stratified Datalog: that is goal-driven, set-at-a-time (as opposed to tuple-at-atime) and adjustable w.r.t. flow-of-control strategies. These properties are important for efficient query evaluation on large and complex deductive databases. In this paper, by incorporating stratified negation into so-called query-subquery nets, we develop an evaluation framework, called QSQN-STR, with such properties for evaluating queries to stratified Datalog: databases. A variety of flow-of-control strategies can be used for QSQN-STR. The generic evaluation method QSQN-STR for stratified Datalog: is sound, complete and has a PTIME data complexity.
机译:大多数以前已知的演绎数据库评估方法都是广度优先或深度优先(和递归)。在某些情况下,这些策略不是最佳策略。希望有一个用于分层数据日志的评估框架:这是目标驱动的,一次设置(而不是一次元组)和可调整的。控制流策略。这些属性对于在大型和复杂的演绎数据库上进行有效的查询评估非常重要。在本文中,通过将分层否定合并到所谓的查询子查询网络中,我们开发了一种评估框架QSQN-STR,它具有用于评估分层Datalog数据库的查询的属性。 QSQN-STR可以使用多种控制流策略。分层数据记录的通用评估方法QSQN-STR:健全,完整并且具有PTIME数据复杂性。

著录项

  • 来源
    《Computing and informatics》 |2019年第1期|19-56|共38页
  • 作者

    Son Thanh Cao; Linh Anh Nguyen;

  • 作者单位

    Vinh Univ, Sch Engn & Technol, 182 Le Duan st, Vinh, Nghe An, Vietnam|Nguyen Tat Thanh Univ, Ho Chi Minh City, Vietnam;

    Ton Duc Thang Univ, Div Knowledge & Syst Engn ICT, Fac Informat Technol, Ho Chi Minh City, Vietnam|Univ Warsaw, Inst Informat, Banacha 2, PL-02097 Warsaw, Poland;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    Deductive databases; datalog with negation; query processing;

    机译:演绎数据库;带否定的数据记录;查询处理;

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号