Datalog has gained prominence in program analysis due to its expressiveness and ease of
use. Its generic fixpoint resolution algorithm over relational domains simplifies the …

The restricted logic programming language Datalog has become a popular implementation
target for deductive-analytic workloads including social-media analytics and program …

Datalog is a popular query language with applications in several domains. Like any complex
piece of software, Datalog engines may contain bugs. The most critical ones manifest as …

Modern parallelizing Datalog compilers are employed in industrial applications such as
networking and static program analysis. These applications regularly reason about …

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 …

Relational algebra forms a basis of primitive operations suitable for applications in graphs
and networks, program analysis, deductive databases, and constraint logic programming …

Datalog is a popular and widely-used declarative logic programming language. Datalog
engines apply many cross-rule optimizations; bugs in them can cause incorrect results. To …

Relational algebra (RA) comprises a basis of important operations, sufficient to power state-
of-the-art reasoning engines for Datalog and related logic-programming languages. Parallel …

We see a resurgence of Datalog in a variety of applications, including program analysis,
networking, data integration, cloud computing, and security. The large‐scale and complexity …

Datalog is becoming increasingly popular as a standard tool for a variety of use cases.
Modern Datalog engines can achieve high performance by specializing data structures for …