Document Open Access Logo

Semirings in Databases, Automata, and Logic (Dagstuhl Seminar 25081)

Authors Guillermo Badia, Manfred Droste, Phokion G. Kolaitis, Carles Noguera, Sophie Brinke, Lovro Mrkonjić, Gaia Petreni and all authors of the abstracts in this report

PDF

File

Thumbnail PDF
PDF
DagRep.15.2.89.pdf
  • Filesize: 2.22 MB
  • 21 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Theory of computation → Database theory
  • Theory of computation → Formal languages and automata theory
  • Theory of computation → Logic
  • Mathematics of computing → Discrete mathematics
Keywords
  • databases
  • finite model theory
  • multi-valued logic
  • provenance
  • semirings
  • weighted automata
  • weighted logic

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 25081 "Semirings in Databases, Automata, and Logic", which was held from February 16 to 21, 2025. The seminar focused on semirings, a class of algebraic structures with many applications in computer science, particularly in databases and automata. Semirings are used in databases to annotate tuples in the input and output relations of queries (in particular, in the case of bag semantics, using the semiring of natural numbers) allowing to model several relevant aspects of databases. In automata theory, semirings allow to define weighted automata, which have applications in natural language processing, speech recognition, and image compression. Moreover, semirings are strongly related to the algebraic semantics of many-valued logics. The seminar brought together researchers from the communities mentioned above, and it developed a research agenda for studying semirings, guided by a collection of diverse applications. This led to several new collaborations between members from different communities, including joint work for publications.

Cite As Get BibTex

Guillermo Badia, Manfred Droste, Phokion G. Kolaitis, Carles Noguera, Sophie Brinke, Lovro Mrkonjić, and Gaia Petreni. Semirings in Databases, Automata, and Logic (Dagstuhl Seminar 25081). In Dagstuhl Reports, Volume 15, Issue 2, pp. 89-109, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/DagRep.15.2.89

Author Details

Guillermo Badia
  • University of Queensland - Brisbane, AU
Manfred Droste
  • Universität Leipzig, DE
Phokion G. Kolaitis
  • University of California - Santa Cruz, US & IBM Almaden Research Center - San Jose, US
Carles Noguera
  • University of Siena, IT
Sophie Brinke
  • RWTH Aachen, DE
Lovro Mrkonjić
  • RWTH Aachen, DE
Gaia Petreni
  • University of Siena, IT
and all authors of the abstracts in this report
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-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact