AAAINov, 2017

Datalog 材料化的优化维护

PDF
TL;DR本研究提出了两种将 Delete/Rederive 算法和 Backward/Forward 算法与 Counting 算法相结合的混合算法，以减少甚至消除对于逆向规则评估的瓶颈，从而有效优化对于非递归 datalog 程序的更新速度。
datalog systemsmaterialisation update problemdelete/rederive algorithmbackward/forward algorithmcounting algorithm
发现论文，激发创造
  • 一种差分 Datalog 解释器

    研究表明，对于 datalog 引擎来说，材料化是核心推理任务，本文通过比较不同实现方法的性能，尤其是基于轻量级关系型引擎的一种方法和基于 Differential Dataflow 的两种方法，探讨了材料化的性能问题。

    Aug, 2023

  • Datalog 程序的模块化实现

    本文提出一种基于模块化框架的材料化计算和维护的方法，该方法使用半朴素算法处理少数规则，同时可使用两种算法计算关系的传递闭包，实验表明，与现有的方法相比，本方法可以处理任意的 datalog 程序，而且性能也要高得多。

    Nov, 2018

  • 数据逻辑推理的优化存储

    这篇论文提出了一个通用框架，将优化的存储方案与标准物质化算法集成，针对常见的转换规则和联合规则，通过优化的存储方案显著改进了内存消耗，有时候提升几个数量级，同时在查询响应时间方面保持竞争力。

    Dec, 2023

  • 使用超树分解增强 Datalog 推理

    本文提供了应用超树分解来优化和简化 Datalog 程序的算法，并与标准 Datalog 和增量规则评估方法相结合。经过实验证明，当程序包含复杂规则时，这种方法通常比基线方法快得多。

    May, 2023

  • 大数据推理和高级分析的扩展

    BigDatalog 是 Datalog 的扩展，旨在实现在 Apache Spark 和多核系统上的性能和可扩展性，其图分析性能优于 GraphX，通过实现技术（例如半朴素极限和魔术集）解决了在递归中使用数量、总和和极值等问题。

    Jul, 2018

  • 将本体查询重写成小型非递归 Datalog 程序

    本文研究本体数据库访问设置，其中 Abox 以关系数据库 D 的形式给出，而布尔连接查询 q 必须针对在 DL-Lite 或 Linear Datalog+/- 中制定的 Tbox T 模块进行求值。我们展示了如何将（T，q）转换为大小为多项式的等效递推 Datalog 程序 P。

    Jun, 2011

  • 大规模知识图谱的基于列的 Datalog 实体化 (扩展技术报告)

    本文介绍了一种新的 Datalog 推理物化方法，将基于列的内存布局与避免运行时冗余推理的新型优化方法相结合，进一步提高了效率，并通过有预测性的缓存某些子查询，实现了在受限资源下甚至可以与最先进的系统的性能相匹配的结果。

    Nov, 2015

  • 大规模场景中预计算 Datalog 评估计划

    本文介绍一种用于优化 Datalog 查询的索引技术，通过确定最佳索引方案及 Datalog 规则的适当排列来降低内存消耗并优化查询效率，结果表明在不损失效率的情况下，内存使用显著减少。

    Jul, 2019

  • DatalogMTL 中的半朴素材料化

    本文提出了一种优化的 semianive DatalogMTL 策略，通过确保每个时态规则实例在算法执行期间最多只被考虑一次，从而在 DatalogMTL 中减少了冗余计算，显著缩短了材料化时间。

    Aug, 2022

  • ZodiacEdge: 一种带有增量规则集维护的 Datalog 引擎

    本文提出了一种基于分层策略的依赖超图适应方法，用于在 Datalog 推理中进行增量维护，特别适用于物联网和边缘计算的环境中，通过对智能设备的新获取知识进行推理和 Datalog 规则的更新。

    Dec, 2023