Datalog-2.0 2024
Resurgence of Datalog in Academia and Industry 2024

Table of Contents

• Preface
  Summary: There were 10 papers submitted for peer-review to this workshop. Out of these, 8 papers were accepted for this volume, 3 as regular papers and 5 as short papers.

Session 1: Invited Talk

• Explaining Answers to Datalog Queries (Invited Talk) 1-1
  Andreas Pieris

Session 2: Innovative Applications and Techniques in Datalog

• Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program 2-16
  Bruno Rucy Carneiro Alves de Lima, Kalmer Apinis, Merlin Kramer, Kristopher Micinski
• LLM-based DatalogMTL Modelling of MiCAR-compliant Crypto-Assets Markets 17-22
  Andrea Colombo, Teodoro Baldazzi, Luigi Bellomarini, Andrea Gentili, Emanuel Sallinger
• An Exploration of Datalog Applications to Language Documentation and Reclamation 23-29
  Anita Baral, Pratiksha Shrestha, Jitendra Sharma, Hunter Lockwood, Daniela Inclezan

Session 3: Advanced Tools and Techniques for Datalog Processing

• A Tool For Reasoning Over CNL Sentences With Temporal Constructs 30-42
  Pierangela Bruno, Simone Caruso, Carmine Dodaro, Marco Maratea
• Nemo: A Scalable and Versatile Datalog Engine 43-47
  Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
• Evaluating Datalog via Structure-Aware Rewriting 48-53
  Hangdong Zhao, Paraschos Koutris, Shaleen Deep

Session 4: Enhancing SQL with Datalog

• Experiencing Hypothetical Datalog in SQL Puzzles 54-68
  Fernando Saenz-Perez
• The Logica System: Elevating SQL Databases to Declarative Data Science Engines 69-73
  Evgeny S. Skvortsov, Yilin Xia, Shawn Bowers, Bertram Ludaescher

Session 5: Invited Tutorial

• DatalogMTL: Datalog with Metric Temporal Logic Operators (Abstract) 74-74
  Przemysław Andrzej Wałęga