MMJul, 2017

具聚合操作的递归 Datalog 程序的不动点语义和优化

PDF
TL;DR本文提出一种简单的综合解决方案，该方案扩展了 Horn Clause 的声明性最小固定点语义，以及 Datalog 系统采用的自底向上实现方法中使用的优化技术，以将 Datalog 的语义和优化技术扩展到包括 min、max、count 和 sum 在内的递归程序中，实现了更好的性能和可扩展性。
发现论文，激发创造
  • ASP 中聚合物的构造语义表征

    本文描述了一种单调连续的不动点算子，用于计算具有聚集函数的程序的答案集。通过其计算复杂度与程序聚集函数的解决方案的检查成本之间的联系，将答案集检查和答案集存在问题紧密联系在一起。此外，还将算子所描述的语义与其他提议的聚合逻辑编程方案进行了关联。

    Jan, 2006

  • 聚合递归在图分析到机器学习中的大数据应用

    使用 PreM 概念优化聚合 - 分层程序的语义，使递归逻辑程序和演绎数据库具有高效操作语义，并使其能够在分布式平台上具有优越的性能和可扩展性，进而可实现各种数据挖掘和机器学习应用的声明式表达，包括 Datalog、Prolog 和 SQL

    Sep, 2019

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

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

    Jul, 2018

  • 带聚合函数的逻辑程序的良基与稳定语义

    本文提出了一个适用于逻辑程序中语义和聚合计算的框架，该框架基于三值立即后果运算符这一概念，采用不同方式定义该运算符以在精确性和可处理性之间取得平衡。

    Sep, 2005

  • 使用极限 Datalog 程序的声明性数据分析基础

    研究了正 Datalog 上添加整数算术函数的扩展语言 Datalog_Z，并提出了两个限制子语言 limit Datalog_Z 和 stable Datalog_Z 以解决其不可判定性，并证明了相应的 NP 完全性和 ExpTime 完全性，最终表明稳定的 Datalog_Z 能够表达许多有用的数据分析任务，为先进信息系统的发展提供了一个坚实的基础。

    May, 2017

  • 使用近似不动点理论分析聚合答案集编程的语义

    该研究在近似不动点理论的观点下重新考虑了选择用于回答集编程（ASP）中聚合的适当形式化问题，介绍了一种等同于基本 ASP 程序的 Gelfond-Lifschitz 规约的 AFT 形式化，并将其扩展到聚合处理。

    Apr, 2021

  • 一种基于展开的聚合逻辑编程语义

    该论文提出了两个与聚合物逻辑程序答案集等价的定义，并旨在创建将具有聚合的逻辑程序转换为正常逻辑程序或积极程序的方法，其答案集语义可用于定义原始程序的语义。

    May, 2006

  • DLV 系统中聚合函数的设计与实现

    通过在视角内引入聚合函数，我们将 DLP（Disjunctive Logic Programming）这种表达有限结构性质的表达形式进行扩展，以便更好地表示复杂的实际应用属性，并保持语言的可判定性和计算复杂度不变。

    Feb, 2008

  • 答案集编程中 GZ-Aggregates 的复杂度和编译

    本文探讨了基于 Vicious Circle Principle 的新型稳定模型语义，用于建立逻辑程序和聚合物的新语义，分析了整体一致的测试和谨慎的推理复杂性，并报告了应用于现有 ASP 解算器的编译技术的设计，最终实现了一个原型系统，使用户可以实验 Gelfond-Zhang 的聚合物。

    Jul, 2015

  • 利用应用程序增强魔术集及其在本体论推理中的应用

    本文介绍了一种增强的魔法集技术来优化使用数据日志的查询答案，并通过消除子 sumed 规则和有效处理绑定传播丢失的情况进一步优化了重写的程序。

    Jul, 2019