https://www.dagstuhl.de/23441

29. Oktober – 03. November 2023, Dagstuhl-Seminar 23441

Ensuring the Reliability and Robustness of Database Management Systems

Organisatoren

Alexander Böhm (Google – Frankfurt am Main, DE)
Hannes Mühleisen (CWI – Amsterdam, NL)
Danica Porobic (Oracle Switzerland – Zürich, CH)
Manuel Rigger (National University of Singapore, SG)

Auskunft zu diesem Dagstuhl-Seminar erteilen

Jutka Gasiorowski zu administrativen Fragen

Andreas Dolzmann zu wissenschaftlichen Fragen

Motivation

Database systems are an essential component of most software systems. It is crucial that they function correctly and operate efficiently. Achieving this is difficult, given that growing demands require increasingly sophisticated systems and adapting them to new hardware platforms.

Building on the success of the last seminar in this series, Dagstuhl Seminar 21442, the goal of this Dagstuhl Seminar is to advance the reliability of database systems by bringing together both practitioners as well as researchers working in this domain. We expect to discuss practices, approaches, and open challenges in making database systems and other data-centric systems more reliable (e.g., in terms of correctness, performance, or fault tolerance).

We plan to focus on the following sub-topics:

  • Manual testing and test suites
  • Automated testing for correctness and performance
  • Isolation-level testing
  • Benchmarking
  • Database and query generation
  • Debugging
  • Query languages
  • Formal methods and verification

While the first seminar in the series, Dagstuhl Seminar 21442, was open-ended, we plan for a more focused follow-up seminar with Dagstuhl Seminar 23441. Specifically, as a concrete tangible outcome of the seminar, we aim to brainstorm, write, and publish a manuscript on (1) best practices in ensuring database systems' reliability, (2) the state of the art on this topic in research, as well as (3) open challenges, which might also serve as the cornerstone of writing a book on this topic.

Motivation text license
  Creative Commons BY 4.0
  Alexander Böhm, Hannes Mühleisen, Danica Porobic, and Manuel Rigger

Related Dagstuhl-Seminar

Classification

  • Databases
  • Performance
  • Software Engineering

Keywords

  • Database testing
  • Database reliability
  • Database benchmarking

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.