Big data analytics with datalog queries on spark

A Shkapsky, M Yang, M Interlandi, H Chiu… - Proceedings of the …, 2016 - dl.acm.org
There is great interest in exploiting the opportunity provided by cloud computing platforms
for large-scale analytics. Among these platforms, Apache Spark is growing in popularity for …

Big graph analytics platforms

D Yan, Y Bu, Y Tian, A Deshpande - Foundations and Trends® …, 2017 - nowpublishers.com
Due to the growing need to process large graph and network datasets created by modern
applications, recent years have witnessed a surging interest in developing big graph …

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 …

Scaling up the performance of more powerful datalog systems on multicore machines

M Yang, A Shkapsky, C Zaniolo - The VLDB Journal, 2017 - Springer
Extending RDBMS technology to achieve performance and scalability for queries that are
much more powerful than those of SQL-2 has been the goal of deductive database research …

Parallel logic programming: A sequel

A Dovier, A Formisano, G Gupta… - Theory and Practice of …, 2022 - cambridge.org
Multi-core and highly connected architectures have become ubiquitous, and this has
brought renewed interest in language-based approaches to the exploitation of parallelism …

Parallel answer set programming

A Dovier, A Formisano, E Pontelli - Handbook of Parallel Constraint …, 2018 - Springer
Abstract Answer Set Programming (ASP) has become, in recent years, the paradigm of
choice for the logic programming community and for a wide variety of application domains …

Scaling-up reasoning and advanced analytics on bigdata

T Condie, A Das, M Interlandi, A Shkapsky… - Theory and Practice of …, 2018 - cambridge.org
BigDatalog is an extension of Datalog that achieves performance and scalability on both
Apache Spark and multicore systems to the point that its graph analytics outperform those …

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 …

[PDF][PDF] The Magic of Pushing Extrema into Recursion: Simple, Powerful Datalog Programs.

C Zaniolo, M Yang, A Das, M Interlandi - AMW, 2016 - ceur-ws.org
We introduce a novel query optimization method based on pushing extrema and other
integrity constraints into recursion. This optimization produces an efficient operational …

[图书][B] Declarative languages and scalable systems for graph analytics and knowledge discovery

M Yang - 2017 - search.proquest.com
The growing importance of data science applications has motivated great research interest
in powerful languages and scalable systems for supporting advanced analytics on massive …