scientific article; zbMATH DE number 7453122

MaRDI QIDQ5020567

Jin Wang, Youfu Li, Ariyam Das, Mingda Li, Carlo Zaniolo

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1909.08249

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Recursive rules with aggregation: a simple unified semantics

Uses Software

• BigDatalog

Cites Work

• Scaling-up reasoning and advanced analytics on BigData
• Fixpoint semantics and optimization of recursive Datalog programs with aggregates
• A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation