Convergence of datalog over (pre-) semirings

M Abo Khamis, HQ Ngo, R Pichler, D Suciu… - Journal of the ACM, 2024 - dl.acm.org
Recursive queries have been traditionally studied in the framework of datalog, a language
that restricts recursion to monotone queries over sets, which is guaranteed to converge in …

Fixpoint semantics and optimization of recursive datalog programs with aggregates

C Zaniolo, M Yang, A Das, A Shkapsky… - Theory and Practice of …, 2017 - cambridge.org
A very desirable Datalog extension investigated by many researchers in the last 30 years
consists in allowing the use of the basic SQL aggregates min, max, count and sum in …

Modern datalog engines

B Ketsman, P Koutris - Foundations and Trends® in …, 2022 - nowpublishers.com
Recent years have seen a resurgence of interest from both the industry and research
community in Datalog. Datalog is a declarative query language that extends relational …

Datalog in wonderland

MA Khamis, HQ Ngo, R Pichler, D Suciu… - ACM SIGMOD …, 2022 - dl.acm.org
Modern data analytics applications, such as knowledge graph reasoning and machine
learning, typically involve recursion through aggregation. Such computations pose great …

Bigdata applications from graph analytics to machine learning by aggregates in recursion

A Das, Y Li, J Wang, M Li, C Zaniolo - arXiv preprint arXiv:1909.08249, 2019 - arxiv.org
In the past, the semantic issues raised by the non-monotonic nature of aggregates often
prevented their use in the recursive statements of logic programs and deductive databases …

A case for stale synchronous distributed model for declarative recursive computation

A Das, C Zaniolo - Theory and Practice of Logic Programming, 2019 - cambridge.org
A large class of traditional graph and data mining algorithms can be concisely expressed in
Datalog, and other Logic-based languages, once aggregates are allowed in recursion. In …

Relational Programming

YR Wang - 2023 - search.proquest.com
Relational databases have become one of the most important software components in the
world, ubiquitous in computing systems from smartphones to data centers. Nevertheless …

A datalog-based computational model for coordination-free, data-parallel systems

M Interlandi, L Tanca - Theory and Practice of Logic Programming, 2018 - cambridge.org
Cloud computing refers to maximizing efficiency by sharing computational and storage
resources, while data-parallel systems exploit the resources available in the cloud to …