Vol-XXX
urn:nbn:de:0074-XXX-C

Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

Datalog 2.0 2024
5th International Workshop on the Resurgence of Datalog in Academia and Industry

Datalog 2.0 2024 - 5th International Workshop on the Resurgence of Datalog in Academia and Industry
co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024)

Dallas, Texas, USA, October 11, 2024.

Edited by

Mario Alviano *
Matthias Lanzinger **

* University of Calabria, Department of Mathematics and Computer Science, 87036 Rende (CS), Italy
** TU Wien, Department of Informatics, 1040 Vienna, Austria

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

2024-10-03: submitted by Mario Alviano, metadata incl. bibliographic data published under Creative Commons CC0
2024-10-03: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|