Dagstuhl 25081 — Semirings in Database Theory

Four selected questions from the five-section open-problem session. Datalog convergence is retained only as a pointer because later bounds require reconciling the exact model.

5 catalogue entries · 4 new problem records · 4 catalogue entries linked to problem records

Catalogue entries can be source pointers, solved items or groups of questions. They are not added to the main problem count. Status reflects the saved source, inspected 2026-09-10.