资源论文Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality

2019-11-19 | |  58 |   48 |   0
Abstract Materialisation precomputes all consequences of a set of facts and a datalog program so that queries can be evaluated directly (i.e., independently from the program). Rewriting optimises materialisation for datalog programs with equality by replacing all equal constants with a single representative; and incremental maintenance algorithms can efficiently update a materialisation for small changes in the input facts. Both techniques are critical to practical applicability of datalog systems; however, we are unaware of an approach that combines rewriting and incremental maintenance. In this paper we present the first such combination, and we show empirically that it can speed up updates by several orders of magnitude compared to using either rewriting or incremental maintenance in isolation.

上一篇:Automatic Verification of Partial Correctness of Golog Programs

下一篇:Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...