Vol-3800⫷ Vol-3801 ⫸Vol-3802
urn:nbn:de:0074-3801-6

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
Resurgence of Datalog in Academia and Industry 2024

Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024)
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-24 : published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) | valid HTML5 |