DROPS

Document

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

Authors: Guillermo Badia, Manfred Droste, Phokion G. Kolaitis, Carles Noguera, Sophie Brinke, Lovro Mrkonjić, and Gaia Petreni

Published in: Dagstuhl Reports, Volume 15, Issue 2 (2025)

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

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)

Copy BibTex To Clipboard

@Article{badia_et_al:DagRep.15.2.89,
  author =	{Badia, Guillermo and Droste, Manfred and Kolaitis, Phokion G. and Noguera, Carles and Brinke, Sophie and Mrkonji\'{c}, Lovro and Petreni, Gaia},
  title =	{{Semirings in Databases, Automata, and Logic (Dagstuhl Seminar 25081)}},
  pages =	{89--109},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2025},
  volume =	{15},
  number =	{2},
  editor =	{Badia, Guillermo and Droste, Manfred and Kolaitis, Phokion G. and Noguera, Carles and Brinke, Sophie and Mrkonji\'{c}, Lovro and Petreni, Gaia},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.2.89},
  URN =		{urn:nbn:de:0030-drops-230893},
  doi =		{10.4230/DagRep.15.2.89},
  annote =	{Keywords: databases, finite model theory, multi-valued logic, provenance, semirings, weighted automata, weighted logic}
}

Search Results

Documents authored by Petreni, Gaia

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

Abstract

Cite as

Thanks for your feedback!

Could not send message