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 …
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 …
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 …
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 …
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 …
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 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 …
We introduce a novel query optimization method based on pushing extrema and other integrity constraints into recursion. This optimization produces an efficient operational …
The growing importance of data science applications has motivated great research interest in powerful languages and scalable systems for supporting advanced analytics on massive …