Document Open Access Logo

Language-Integrated Recursive Queries (Artifact)

Authors Anna Herlihy , Amir Shaikhha , Anastasia Ailamaki , Martin Odersky

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.12.1.9.pdf
  • Filesize: 0.56 MB
  • 6 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Theory of computation → Database query languages (principles)
  • Theory of computation → Recursive functions
  • Theory of computation → Type theory
Keywords
  • Language-Integrated Query
  • Embedded DSL
  • SQL
  • Scala
  • Fixpoint
  • Datalog

Metrics

Artifact

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2026 Call for Artifacts and the ACM Artifact Review and Badging Policy.

Abstract

This artifact accompanies the paper "Language-Integrated Recursive Queries," which introduces λ_RQL, a calculus that derives properties of embedded recursive queries from the host-language type system, and TyQL, its Scala 3 implementation. The artifact provides Docker image that runs the 16-query Recursive Query Benchmark (RQB) via JMH and produces CSV files containing the benchmark results.

Cite As Get BibTex

Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki, and Martin Odersky. Language-Integrated Recursive Queries (Artifact). In Special Issue of the 40th European Conference on Object-Oriented Programming (ECOOP 2026). Dagstuhl Artifacts Series (DARTS), Volume 12, Issue 1, pp. 9:1-9:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/DARTS.12.1.9

Author Details

Anna Herlihy
  • EPFL, Lausanne, Switzerland
Amir Shaikhha
  • University of Edinburgh, UK
Anastasia Ailamaki
  • EPFL, Lausanne, Switzerland
Martin Odersky
  • EPFL, Lausanne, Switzerland

Funding

This research was funded in part by the Swiss National Science Foundation (SNSF), grant number TMAG-2_209506/1, "Capabilities for Typing Resources and Effects" and by the Swiss State Secretariat for Education, Research and Innovation (SERI) in the framework of the Prodasys project, approved by the European Research Council (ERC) as an Advanced Grant. This work was partly funded by a gift from RelationalAI and the Google Research Scholar Program.

Related Article

  • Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki, and Martin Odersky, "Language-Integrated Recursive Queries", in 40th European Conference on Object-Oriented Programming (ECOOP 2026), LIPIcs, Vol. 372, pp. 12:1-12:30, 2026. https://doi.org/10.4230/LIPIcs.ECOOP.2026.12
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact