Kappa-Join: Combining Vertex Covers for Parallel Joins Simon Frisk (University of Wisconsin-Madison); Austen Z. Fan (University of Wisconsin-Madison); Paraschos Koutris (University of Wisconsin-Madison)
A Dichotomy for Bounded-Variable Query Evaluation: The Calculus of Relations, a Boolean Modal Logic, and One-Variable Counting Logic Yoshiki Nakamura (Chiba University); Yuya Uezato (CyberAgent, Inc.)
Property Testing for Recursive Query Languages Isolde Adler (University of Bamberg); Carsten Lutz (Leipzig University); Quentin Manière (University of Montpellier); Marcin Przybyłko (University of Warsaw); Lukas Schulze (Leipzig University)
Popcorning: Repurposing Write-Optimization Buffers for Faster Queries Peyman Afshani (Aarhus University); Michael A. Bender (Stony Brook University); Philip Bille (Technical University of Denmark); Alex Conway (Cornell Tech); Martín Farach-Colton (New York University); Jeremy Fineman (Georgetown University); Michael T. Goodrich (University of California, Irvine); Inge Li Gørtz (Technical University of Denmark); John Iacono (Université Libre de Bruxelles); Rob Johnson (VMWare Research Group); Hanna Komlós (Max Planck Institute for Informatics); William Kuszmaul (Carnegie Mellon University); Rose Silver (Carnegie Mellon University); Robert Tarjan (Princeton University); Simon Rumle Tarnow (Technical University of Denmark); Renfei Zhou (Carnegie Mellon University)
First-Order Rewritable Sets of Existential Rules: Computability and Complexity David Carral (Inria); Lucia Gomez Alvarez (Inria); Piotr Ostropolski-Nalewaja (University of Wrocław)
Tight Width Minimisation of Self-Join-Free Quantified Conjunctive Queries Hubie Chen (King's College London); Fabio Mogavero (Università degli Studi di Napoli “Federico II”); Sam M. Thompson (King's College London)
Optimal Convergence of Iterative Methods for Datalogo Simon Frisk (University of Wisconsin-Madison); Hangdong Zhao (Microsoft Gray Systems Lab); Kirk Pruhs (University of Pittsburgh); Benjamin Moseley (Carnegie Mellon University); Sungjin Im (University of California, Santa Cruz); Hung Ngo (RelationalAI Inc.); Paraschos Koutris (University of Wisconsin-Madison)
Dichotomy for Axiomatising Inclusion Dependencies on K-Databases Miika Hannula (University of Tartu); Teymur Ismikhanov (University of Tartu); Jonni Virtema (University of Glasgow)
Tractable Gap-Constraint Languages for Complex Event Recognition Antoine Amarilli (Univ. Lille, Inria, CNRS); Florin Manea (University of Göttingen); Tina Ringleb (University of Göttingen); Markus Schmid (HU Berlin)
Ranked MSO-enumeration over compressed words Markus Lohrey (University of Siegen)
How (and when) can you fit examples to logic-based hypothesis classes over infinite structures? Michael Benedikt (University of Oxford); Alessio Mansutti (IMDEA Software Institute)
Neuro-Relational Programs: Unifying Queries and Neural Computation over Structured Data Arie Soeteman (University of Amsterdam); Balder ten Cate (University of Amsterdam); Maurice Funk (University of Leipzig); Benny Kimelfeld (Technion); Carsten Lutz (University of Leipzig); Moritz Schönherr (University of Leipzig)
Listing Even Cycles Faster than the Submodular-Width Barrier Vasileios Nakos (National and Kapodistrian University of Athens); Hung Ngo (RelationalAI Inc.); Andreas Panayi (National and Kapodistrian University of Athens)
Lower Bounds for Private Graph Optimization Problems using Reconstruction Attacks Jacob Imola (University of Waterloo); Rasmus Pagh (University of Copenhagen); Lukas Retschmeier (University of Copenhagen)
Guanaco: A Global-Uniformity Algorithm for Near-Submodular-Width Conjunctive Query Evaluation Mahmoud Abo-Khamis (University of Oxford); Hubie Chen (King's College London)
Fast Perfect L₂ Sampling David Woodruff (Carnegie Mellon University); Samson Zhou (Texas A&M University)
On the Query Answering Problem for Conjunctive Queries with Inequalities over DL-Lite-core Knowledge Bases Jerzy Marcinkowski (University of Wrocław); Piotr Ostropolski-Nalewaja (University of Wrocław)
Conjunctive Queries with Negation: Beyond Signed-Acyclicity Simon Frisk (University of Wisconsin-Madison); Paraschos Koutris (University of Wisconsin-Madison)
Asynchronous Datalog with Incremental Count Aggregation Fernando Hechavarría Fajardo (Vrije Universiteit Brussel); Heba Mohamed (Vrije Universiteit Brussel); Bas Ketsman (Vrije Universiteit Brussel)
Convolution Sum-Product Queries Kyle Deeds (Boston University); Timo Merkl (TU Wien); Dan Suciu (University of Washington)